Estrada Lorenzo, Jose Manuel, Biblioteca. Agencia Laín Entralgo, España