Smooth normal forms for integrable Hamiltonian systems near a focus–focus singularity