Je pourrais par ailleurs évoquer les articles L. 711 et suivants du code de la fonction publique : ils rappellent le principe du service fait et écartent la possibilité de payer les agents grévistes – car, si la grève est un droit, le paiement des jours de grève n'est pas toléré.