Abstract : We use generalized Taylor formulae in order to give some simple constructions in the real closure of an ordered valued field. We deduce a new, simple quantifier elimination algorithm for real close valued field and some theorems about constructible subsets of real valuative affine space.