Bibliothèque de l'Institut des hautes études chinoises ;