Euclidean_vector_space loading ...