12 AOUT 1953. - Arrêté royal rendant obligatoire la décision de la Commission paritaire nationale des industries du ciment en date du 3 juin 1953 concernant la fixation du jour de fête remplaçant le jour férié du 1er novembre 1953