No así el de San Ildefonso que es el nombre original del barrio en el momento de su nacimiento y el que la mayoría de sus habitantes todavía usa.