Старое здание, примыкающее к монастырю Санта-Крус-де-Коимбра под названием Жардим да Манга.