La iglesia de San Miguel forma parte del .