Crête rocheuse entre Petra Piana et l’Onda, variante du GR20 sur la 8e étape