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.From (A.12) and (A.13) we getand this ends the proof.Comment. The preprint "Double exponential stability for generic real-analytic elliptic equilibrium points" was first submitted to the Arxiv in August 2015; in order to make it more accessible, we decided to withdraw this preprint and split it into two parts. This corresponds to the first part, the second part being [BFN19].