Le Cirque de Gavarnie, du col de Sarradets (fiche randonnée)