Algérie : le général Ahmed Gaïd Salah, puissant chef d'état-major de l'armée, est mort