TY  - JOUR
AU  - Bélair, Luc
TI  - La définissabilité des entiers dans les corps de courbes réelles archimédiens
JO  - Comptes Rendus. Mathématique
PY  - 2003
SP  - 459
EP  - 462
VL  - 336
IS  - 6
PB  - Elsevier
UR  - http://www.numdam.org/articles/10.1016/S1631-073X(03)00115-8/
DO  - 10.1016/S1631-073X(03)00115-8
LA  - fr
ID  - CRMATH_2003__336_6_459_0
ER  -