meme sans aller jusqu'aux reels, ca marche deja avec les rationnels..
si x et y sont 2 rationnels (resp. reels) differents, alors x+(y-x)/2 est encore un rationnel (resp. reel) qui est bien coincé entre les 2.. essaie de visualiser les choses, tu mets 2 points sur une droite, n'importe ou, mais pas les 2 au meme endroit. tu zoomes a mort, ya bien un moment ou tu vas voir un petit espace entre les 2. tu plantes un nombre dans ce petit intervalle libre, et c'est reglé
-----