第一次インドシナ戦争
First Indochina War, 1945-1954.