Smooth normal forms for integrable Hamiltonian systems near a focus–focus singularity
San Vũ Ngọc , Christophe Wacheux
We prove that completely integrable systems are normalizable in the $C^{\infty}$ category near a focus–focus singularity.