第一次インドシナ戦争
Operation Lorraine was a French military operation of the First Indochina War.