Biblioteca Antonio Devoto, Devoto. Gratis, sin reserva.