The Weyl group as fixed point set of smooth involutions