15En toute rigueur, le théorème KAM ne peut pas s’appliquer directement à l’application2.76en prenantcomme partie non perturbée la rotation (), car elle est une application de torsion nulle (i.e.. Pourappliquer le théorème KAM, il faut construire une forme normale d’ordre2. En notations complexes, l’applicationd’Hénon2.76s’exprime sous la forme:, oùest la notation pour le complexeconjugué de. Succinctement, on effectue un changement de variables. Dans la nouvelle variable, la formenormale d’ordre deux s’écrit comme une rotation dépendant de la distance à l’origine(Bazzani, Todesco,Turchetti et Servizi, 1994, p.96 sqq.):.Le deuxième terme deest bien non nul et correspond à la torsion de la forme normale d’ordre2.