une autre construction de R

Suite à un récent billet sur le blog de l'excellent Denis Feldmann <http://denisfeldmann.fr/blog.htm#089091>, j'ai découvert une construction du corps des réels que je ne connaissais pas et dont je n'ai pas vu trace sur ce forum. J'en déduis donc que je ne suis pas seul dans l'ignorance...

Cette "nouvelle" construction remonte, semble-t-il, aux années 1980 et a la particularité de ne pas utiliser les rationnels.

L'article de 2004 ci-joint fournit, outre la dite construction, d'intéressants commentaires "historiques" sur les idées de base de cette approche, ainsi qu'une courte bibliographie, mais je n'ai pas encore tout lu en détail.

Je le livre donc à la sagacité des esprits forts du forum.