Pins laricio près du refuge de Tighjettu, 4e étape du GR20