20 OCTOBRE 1953. - Arrêté royal rendant obligatoire la décision de la Commission paritaire nationale de l'industrie pétrolière, en date du 17 décembre 1952, concernant la fixation du jour de fête remplaçant le jour 1ere du 1er novembre 1953