Le Casque et la brèche de Roland, Gavarnie (fiche randonnée)