L'Apport économique de l'Algérie pendant la guerre — René Dobrenn