French Indochina. Service des mines.