1. Énoncé. 2. Lemme préliminaire (perturbation de l'identité). 3. Démonstration. 4. Application : fonctions implicites
Différentielle inversible. Difféomorphisme local