https://123dok.net/document/q7wovmlo-montrer-diff-eomorphisme-local-voisinage-diff-eomorphisme-global.html