P-adic_group loading ...