To mark the 70th anniversary of the Battle of Dien Bien Phu, which put an end to the Indochina War, this documentary looks back at this little-known French war, thanks to the recent opening of declassified archives. The Indochina ...