Jeux de Paris 2024 : les agents de la fonction publique mobilisés toucheront une prime