Finite_projective_geometry loading ...