Onomasticon arabicum — Institut de recherche et d'histoire des textes. France