Ex-diretora da Biblioteca Nacional Maria Leonor Machado de Sousa morre aos 88 anos