JO 2024 : Billets vendus, audience télé, réseaux sociaux, médailles… Quels records ont été battus à Paris ?