5 JUIN 1957. - Arrêté royal modifiant le Règlement général pour la protection du travail en ce qui concerne les travaux de chargement, de déchargement, de construction, de réparation et d'entretien des navires et bateaux