Bibliothèque de l'Institut des Hautes Études Chinoises.