The identity of «the Muftī of Oran», Abū l-‘Abbās Aḥmad b. Abī Jum‘ah al-Maghrāwī al-Wahrānī (d. 917/1511) · Study