Bibliothèque de l'Ecole des hautes études hispaniques ;