L'achèvement de l'enquête et la correction des fondements — ʿAlī ibn Ibrāhīm Ibn al-Šāṭir