BIBLIOTHECA INDOSINICA, DICTIONNAIRE BIBLIOGRAPHIQUE