NON: dans un arrêt en date du 13 juin 1980, le Conseil d'Etat a eu l'occasion de préciser que les heures perdues du fait de la participation d'un fonctionnaire à une grève ne peuvent pas être compensées ultérieurement sous la forme de travaux supplémentaires.