Smooth normal forms for integrable hamiltonian systems near a focus-focus singularity

We prove that completely integrable systems are normalisable in the C infinity category near focus-focus singularities.