Biblioteca, MIRANDA DE ARGA