Finite_Coxeter_group loading ...