Ah oui, "complétude de R", on avait vu ça au début du chapitre sur les suites.
On nous a expliqué comment construire R à partir de Q si je me souviens bien (il faut dire que j'ai réussit cette partie à l'examen de Janvier donc je suis dispensé pour Juin donc j'ai un peu oublié )

merci