Constructive rereading of Artin-Schreier theory Ordered fields and real algebraic geometry. Proceedings of the Special Session on Ordered Fields and Real Algebraic Geometry, 87th Annual Meeting of the American Mathematical Society, held in San Francisco, California, January 7-11, 1981 