Quel est le salaire moyen des agents de la fonction publique d’État ?