Sentiers de randonnée : quel est le GR préféré des Français ?