考克斯特群
Compact Euclidean uniform tessellations (by their infinite Coxeter group families).