All real algebraic varieties that appear in the present paper are assumed to be affine (that is, isomorphic to algebraic subsets of R for some n). Morphisms between real algebraic varieties are called regular maps. For background material on real algebraic geometry the reader may consult [6]. Every real algebraic variety carries also the Euclidean topology, induced by the usual metric topology ...