7 JUILLET 1948. - Loi portant révision de l'arrêté-loi du 23 octobre 1946, modifié par celui du 28 février 1947 relatif aux accidents du travail survenus aux gens de mer