第一次インドシナ戦争
First Indochina War (1945–1954).