L'Indochine pendant la guerre — Roger Pinto