Restaurante O Jardim da Estrela - Aberto todos os dias! Open every day!