Abstract_Wiener_space loading ...