Jeux olympiques: les agents publics mobilisés toucheront une prime de 500 à 1.500 euros