Baisse surprise des effectifs de la fonction publique d'Etat en 2022