Церковь Святого Ильдефонсо - церковь восемнадцатого века в Порту-Португалия.