JO Paris 2024 : comment faisait-on pour chronométrer les premiers Jeux, avant l'informatique ?