Constructive rereading of Artin-Schreier theory Ordered fields and real algebraic geometry. Conference on Ordered Fields and Real Algebraic Geometry, held at the University of Colorado (Boulder, Colorado), July 4-8, 1983 