Centre de Documentation Historique sur l'Algérie; CDHA; Pétrole