[Gouvernement général de l'Indochine. Inspection générale des mines et de l'industrie. Service des mines.] Décret réglementant le régime des explosifs en Indochine et arrêté du 6 décembre 1935 réglementant le commerce, le transport, la conservation et l'emploi en Indochine des produits explosifs et assimilés — Indochine française. Direction des mines