théorème d’inversion globale