Éste recibía el nombre de "gorrino de San Antón".