Ibn Zaydūn, Aḥmad ibn ʻAbd Allāh, 1003 or 4-1071