The restricted three body problem revisited

We present a new computation of the Birkhoff normal form for the Hamiltonian of the restricted three body problem near the Lagrangian libration points. This leads to a new proof of the Lyapunov stability of these points.