Pico Anie, Pirineos