  We prove that generically, both in a topological and measure-theoretical
sense, an invariant Lagrangian Diophantine torus of a Hamiltonian system is
doubly exponentially stable in the sense that nearby solutions remain close to
the torus for an interval of time which is doubly exponentially large with
respect to the inverse of the distance to the torus. We also prove that for an
arbitrary small perturbation of a generic integrable Hamiltonian system, there
is a set of almost full positive Lebesgue measure of KAM tori which are doubly
exponentially stable. Our results hold true for real-analytic but more
generally for Gevrey smooth systems.
