Biografia de Bartolomé José Gallardo, bibliotecari.