5 JUILLET 1951. - Arrêté royal rendant obligatoire la décision de la Commission paritaire nationale de la pêche maritime en date du 9 mars 1951 concernant la fixation du jour de fête remplaçant le jour férié du 11 novembre 1951