Faut-il quitter la fonction publique ?