1. Toute isométrie de E (dim n) est produit d'au plus n réflexions. 2. Démonstration par récurrence sur la dimension. 3. Cas O(2) et O(3). 4. Application : structure du groupe orthogonal
Au plus n réflexions. Génération de O(n)