'Abdîs̆û Ibn Bahrîz et son livre sur les définitions de la logique "Kitâb ḥudûd al-manṭiq" — Gérard Troupeau