Bibliothèque de l'École des Hautes Études Hispaniques.