Le Pic des Sarradets, Gavarnie  (fiche randonnée)