La ermita de san Ildefonso, CERNECINA