Centre de Documentation Historique sur l'Algérie; CDHA; grande guerre