The works of Yaḥyā Ibn ʿAdī : an analytical inventory