Quinto centenario della Biblioteca apostolica vaticana, 1475-1975 - Michelini Tocci, Luigi, 1910- (la Biblioteca, 1975)