Locally_convex_space loading ...