제1차 인도차이나 전쟁
First Indochina War, 1945-1954.