Comment al-Khalil inventa au IIe/VIIIe siècle le premier grand dictionnaire alphabétique de l’humanité