Difféomorphisme hamiltonien