Jours fériés des mois de mai et juin. Fin de la seconde guerre mondiale, Ascension et Pentecôte