The Spin-Orbit Resonances of the Solar System: A Mathematical Treatment Matching Physical Data