@article{PMB_1991____A3_0,
     author = {Henri Lombardi and Marie-France Roy},
     title = {Th\'eorie constructive \'el\'ementaire des corps ordonn\'es},
     journal = {Publications math\'ematiques de Besan\c{c}on. Alg\`ebre et th\'eorie des nombres},
     eid = {3},
     pages = {1--23},
     publisher = {Presses universitaires de Franche-Comt\'e},
     year = {1991},
     doi = {10.5802/pmb.a-64},
     language = {fr},
     url = {https://pmb.centre-mersenne.org/articles/10.5802/pmb.a-64/}
}