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