Sesión 6: Grupos p-locales compactos