Pseudo_Riemannian_manifold loading ...