PRATALI, Luciano (1924-2002), bibliotecario