Index général des manuscrits Arabes Musulmans de la Bibliothèque Nationale de Paris - Vajda, Georges, (Publications de l'Institut de recherche et d'histoire des textes ;, 1953)