We study the structures (K ⊂ K r), where K is an ordered field and K r its real closure, in the language of ordered fields with an additional unary predicate for the subfield K. Two such structures (K ⊂ K r) and (L ⊂ L r) are not necessarily elementary equivalent when K and L are. But with some saturation assumption on K and L, then the two structures become equivalent, and we give a description of the complete theory.

On étudie les structures (K ⊂ K r), où K est un corps ordonné et K r sa clôture réelle, dans le langage des corps ordonné plus un prédicat unaire représentant l'appartenance à K. Deux telles structures (K ⊂ K r) et (L ⊂ L r) ne sont pas nécessairement élémentairement équivalentes lorsque K et L le sont. Elles le deviennent si K et L sont de plus un peu saturés, et nous décrivons alors leur théorie complète.