"Puerta norte de la antigua iglesia de san Miguel" y más...