La fonction publique a gagné 17.300 agents en 2022, selon l'Insee