Tour de France 2023 : deux leaders en dix secondes après 15 étapes, rarissime mais pas sans précédent dans l'histoire de la Grande Boucle