Title: The library of Vincencio Juan de Lastanosa, patron of Gracián