Rochers sur les crêtes entre Petra Piana et l’Onda, variante du GR20 lors de la 8e étape