12 AOUT 1954. - Arrêté royal rendant obligatoire la décision du 19 mars 1954 de la Commission paritaire nationale mixte des mines, concernant la fixation du jour de fête remplaçant le jour férié du 15 août 1954