Décomposition d'une isométrie en produit de réflexions, groupe des ...