A Gevrey symplectic normal form of an analytic and more generally Gevrey
smooth Hamiltonian near a Lagrangian invariant torus with a Diophantine vector
of rotation is obtained. The normal form implies effective stability of the
quasi-periodic motion near the torus.