Az-Zarqālī and Al-Biṭrūjī — Ibrāhīm ibn Yaḥyā al-Naqqāš Abū Isḥāq al- Zarqālī, Nūr al-Dīn Abū Isḥāq al- Biṭrūǧi