JO Paris 2024 : qui sont les Girondins médaillés aux Jeux olympiques ?