Euclidean_geometry loading ...