제1차 인도차이나 전쟁
First Indochina War operations 1948–1954.