De Pauselijke Basiliek van Sint-Michiel Spaanse Basiliek Pontificia de San Miguel, een barokke rooms-katholieke kerk en een kleine basiliek in Madrid, Spanje