La définissabilité des entiers dans les corps de courbes réelles archimédiens

Luc Bélair

Comptes Rendus. Mathématique, Volume 336 (2003) p. 459-462