Ibn Khaldoun et l'Algérie — Georges Marçais