Résumé:
We investigate in this paper the theorem of Birkhoff normal form
near an equilibrium point in infinite dimension and discuss the dynamical
consequences for Schr¨odinger Hamiltonians. We calculate also the
spectrum in Fermi resonance by using the Bargmann transform.