Puerta de la ermita de San Ildefonso, CERNECINA