@article{PMB_1991____A3_0,
     author = {Lombardi, Henri and Roy, Marie-France},
     title = {Th\'eorie constructive \'el\'ementaire des corps ordonn\'es},
     journal = {Publications math\'ematiques de la Facult\'e des sciences de Besan\c{c}on. Th\'eorie des nombres},
     eid = {3},
     pages = {1--23},
     publisher = {Universit\'e de Besan\c{c}on},
     year = {1991},
     doi = {10.5802/pmb.a-64},
     language = {fr},
     url = {http://archive.numdam.org/articles/10.5802/pmb.a-64/}
}