[Gouvernement général de l'Indochine. Direction de l'instruction publique.] Enseignement technique industriel — Indochine française. Direction de l'instruction publique