Shimura_variety loading ...