Gouvernement général de l'Indochine. — Indochine française