Sinon pour répondre à la question, c'est facile à imaginer une fonction bijective qui ne soit pas un C1 difféomorphisme.
Il suffit de prendre une fonction bijective mais dont la dérivée n'est pas continue.
Genre une fonction:
x -> x pour x dans ]-oo ; 0]
et x -> x² pour x dans [0; +oo[