Santos Padres Españoles I - Ildefonso de Toledo, Santo