Effectifs dans les trois versants de la fonction publique
(en millions)