Title: Le coût de la guerre d'Indochine (1945 - 1954)