7 NOVEMBRE 1951. - Arrêté royal rendant obligatoire la décision de la Commission paritaire nationale mixte des mines en date du 23 mars 1951 concernant la fixation du jour de fête remplaçant le jour férié du 11 novembre 1951