Géométrie

Cela revient juste à dire qu'un difféomorphisme de $S^1 $ qui préserve l'orientation a une dérivée partout strictement positive (si elle était négative, on renverserait l'orientation), et l'identité sur l'intégrale revient juste à $\tilde{f} (x+1) = \tilde{f} (x) + 1$, même si l'intégrale sur $S^1 $ n'est pas très proprement définie.