Jorge Basadre : vida y obra del ilustre bibliotecario peruano