Une mairie peut-elle donner des jours de congés supplémentaires à ses fonctionnaires ? La justice dit non, et voici pourquoi