Tour de France 2023 : au fait, combien va gagner le vainqueur de la course ?