Mort de l'historien Mohammed Harbi, figure intellectuelle de l'indépendance algérienne