GR20: descente sur Bocca San Pedru