Un Proclus perdu est retrouvé en arabe — ʿAbd al-Raḥmân Badawī