La piastre et le fusil: Le coût de la guerre d'Indochine, 1945-1954