Qui a gagné la 5000e des 12 coups de midi ?