7 NOVEMBRE 1951. - Arrêté royal rendant obligatoire la décision de la Commission paritaire nationale de l'industrie du ciment en date du 4 mai 1951 concernant la fixation du jour de fête remplaçant le jour férié du 11 novembre 1951