Pico de Aneto de 3404 m, BENASQUE