1218 Jours fériés
https://w3id.org/class/redaktor/PublicHolidays
Inbox
Definition
Il s'agit de n'importe quel jour qui est un jour férié ; il s'agit d'un espace réservé pour tous les jours fériés officiels dans un lieu particulier. Bien que ce ne soit pas techniquement un "jour de la semaine", il peut être utilisé avec [[OpeningHoursSpecification]]. Dans le contexte d'une spécification des heures d'ouverture, il peut être utilisé pour indiquer les heures d'ouverture des jours fériés, en remplaçant les heures d'ouverture générales pour le jour de la semaine où se produit un jour férié.