Abstract (EN)

We prove that steep real-analytic elliptic equilibrium points are exponentially stable, generalizing results which were known only under a convexity assumption. This proves the general case of a conjecture of Nekhoroshev. This result is also an important step in our proof that generically, both in a topological and measure-theoretical sense, equilibrium points are super-exponentially stable.