ابن عبد الهادي، عبد المهدي بن عبد القادر،