9 SEPTEMBRE 1953. - Arrêté royal rendant obligatoire la décision de la Commission paritaire nationale mixtes des mines en date du 20 mars 1953, concernant la fixation du jour de fête remplaçant le jour férié du 1er novembre 1953