第一次インドシナ戦争
During the First Indochina War.