библиотека, сооруженная в 1717—1728 годах. Ее называют «Библиотека Жуанина», в честь ее благодетеля Жуана V, чей герб можно видеть над входом. Каждый ее зал решен в своем цвете