For a symplectic map that is analytic near a fixed point, the Birkhoff normal form is studied in connection with its integrability in the sense of Liouville. It is proved that, when the fixed point is non-resonant or simply resonant, there exists an analytic Birkhoff transformation if and only if the map is integrable.
