Décret du 28 juillet 1918 relatif à l'octroi des permis miniers dans les colonies françaises (Arrêté de promulgation du 29 octobre 1918)