Curves_in_differential_geometry loading ...