Les agents travaillant le lundi de Pentecôte peuvent-ils bénéficier de l'indemnité d'un jour férié ?