un difféomorphisme local en est une application f  m → n dune variété dans une autre telle que pour tout point m de m il existe un voisinage ouvert u de m dans m tel que fu soit ouvert dans n et que la restriction de f de u sur fu soit un difféomorphisme