GR20: descente sous Bocca San Pedru