  We use generalized Taylor formulae in order to give some simple constructions
in the real closure of an \ovfz. We deduce a new, simple quantifier elimination
algorithm for \rcvfs and some theorems about constructible subsets of real
valuative affine space.
