Fonction publique : 862 000 agents reçoivent une indemnité compensatrice