San Ildefonso es un barrio de la ciudad de Jaén.