la fonction publique employait cinq virgule soixante-quatre millions d' agents au trente et un décembre deux mille dix-huit soit vingt-trois trois cents personnes de moins qu' un an plus tôt zéro virgule quatre pour cent selon l' insee