Marcial reconoció en uno de éstos al San Ildefonso.