Variante du GR20 par les crêtes entre Petra Piana et l’Onda lors de la 8e étape