Banach_manifold loading ...