Fréchet_space loading ...