GR20 : faut-il réintégrer le Cirque de la solitude ?