The spin-orbit resonances of the Solar system: A mathematical treatment matching physical data

In the mathematical framework of a restricted, slightly dissipative spin-orbit model, we prove the existence of periodic orbits for astronomical parameter values corresponding to all satellites of the Solar system observed in exact spin-orbit resonance.