圣迈克尔大教堂是一座巴洛克式的罗马天主教教堂。