Coimbra (Portugal). Biblioteca municipal.