6 NOVEMBRE 1951. - Arrêté royal rendant obligatoire la décision de la Commission paritaire nationale de l'industrie des ports, en date du 17 avril 1951, concernant la fixation du jour de fête remplaçant le jour férié du 11 novembre 1951