Atrio de la iglesia de San Miguel, PORT DE SANT MIQUEL