French Indochina. Inspection générale des mines et de l'Industrie.