La Vie et hauts faits de saint Ildephonse présente la vie de cet évêque († 667) et les deux miracles des saintes Léocadie et Marie à Tolède. Son édition, sa traduction française et son étude montrent que cette Vie fut écrite au milieu du VIIIe siècle, avant d'être redécouverte à la fin du XIe siècle.
