제1차 인도차이나 전쟁
First Indochina War (1945–54).