12 JUILLET 1957. - Arrêté royal modifiant, en ce qui concerne l'inscription, le jaugeage et le déchirage des bateaux, l'arrêté royal du 15 octobre 1935 portant règlement de police et de navigation des voies navigables administrées par l'Etat