Euclidean_plane_isometry loading ...