Centre de Documentation Histoique sur l'Algérie; CDHA; Armée d’Afrique