The Vietnamese revolution of 1945 : Roosevelt, Ho Chi Minh, and De Gaulle in a world at war