Tour de France 2023 : jour de fête au sommet du Grand Colombier