lhypothèse de simple connexité est cruciale par exemple lapplication z ↦ z de c* dans lui-même est un c∞-difféomorphisme local son jacobien en z est égal à |z| donc nest jamais nul mais nest pas injective cest un -revêtement