Jeux olympiques de Paris : des jours de télétravail supplémentaires indemnisés pour les fonctionnaires