Real algebraic and semi-algebraic sets — Jean-Jacques Risler, Riccardo Benedetti