Tour de France 2023, étape 9 : duel au sommet d'un mythe entre Vingegaard et Pogacar au Puy de Dôme