Prime versée aux fonctionnaires : qui est concerné et pour quel montant ?