Constructive rereading of Artin-Schreier theory On the computational complexity and geometry of the first-order theory of the reals. II: The general decision problem. Preliminaries for quantifier elimination 