  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.
