Variedade_riemanniana loading ...