Saint Étienne Harding et les premiers recenseurs de la Vulgate latine, Théodulfe et Alcuin — Jean-Pierre Hippolyte Martin