Plancherel_theorem_for_spherical_functions loading ...