Não sei se há um nome em português, mas era um palácio real e foi a “casa da moeda”. Hoje é um museu sobre fabricação de moedas.
