El nombre se debe a un aviso que según cuenta la leyenda en ese lugar dio la Virgen a un pastor acerca de dónde se encontraban enterrados los restos de San Ildefonso.