Himno a San Ildefonso, compuesto por Gabriel Fernández Villar