Ibon Gran de Batisteles, Pireneje