Convergence or generic divergence of Birkhoff normal form
  We prove that Birkhoff normal form of hamiltonian flows at a non-resonant singular point with given quadratic part are always convergent or generically divergent. The same result is proved for the normalization mapping and any formal first integral. 
Ricardo Perez-Marco