Projective_algebraic_variety loading ...