コクセター群
Compact Euclidean uniform tessellations (by their infinite Coxeter group families).