A post-Newtonian gravitational Lagrangian formalism for celestial body dynamics in metric gravity | Synapse