Décret du 12 janvier 1918 rendant applicable aux colonies les dispositions du décret du 13 février 1917, pris en vue de faciliter l'application de la loi sur la police maritime (Arrêté de promulgation du 24 juin 1918)