Grupo_localmente_compacto loading ...