Pico Sabocos, Pirineo oscense