Taifead r-phoist: La métrique arabe au XIIIe siècle après al-Ḫalīl