GR20: Refuge de Petra Piana – Refuge de l'Onda