Baptisterio, PORT DE SANT MIQUEL