第一次インドシナ戦争
First Indochina War operations 1948–1954.