22 JUILLET 1953. - Arrêté royal rendant obligatoire la décision de la Commission paritaire nationale de l'industrie des carrières en date du 4 février 1953 concernant la fixation du jour de fête remplaçant le jour férié du 1er novembre 1953