%0 Journal Article %A Lombardi, Henri %A Roy, Marie-France %T Théorie constructive élémentaire des corps ordonnés %J Publications mathématiques de la Faculté des sciences de Besançon. Théorie des nombres %D 1991 %P 1-23 %I Université de Besançon %U http://archive.numdam.org/articles/10.5802/pmb.a-64/ %R 10.5802/pmb.a-64 %G fr %F PMB_1991____A3_0