Every Real Closed Field Has an Integer Part. - M. H. Mourgues; Jean-Pierre Ressayre (J. Symb. Log., 1993)