French Indochina. Direction de l'instruction publique.