Vérification de l'unicité locale des équations non linéaires