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