rectification; Abhyankar-Sathaye embedding problem; variable real closed fields; orders on rings or fields; real algebraic set; Nash functions; Hilbert's 17th problem; Witt rings; semi-algebraic sets 