P-adic_analytic_group loading ...