La réponse est simple... non il ne sont pas payés.
Je ne sait plus quel humoriste disait fort justement : « tout le monde tappe sur les fonctionnaires, mais quand il font grève, y à plus rien qui marche en France » à méditer... quel est le coût raisonnable pour faire « marcher » la France ?