El término Colegio (de) San Ildefonso puede referirse: