Dictionnaire de Trévoux/6e édition, 1771/ANTOLEIN
Apparence
(1, p. 396).
ANTOLEIN. s. m. & nom d’homme. Antolianus. Saint Antolien, dont parle Grégoire de Tours en son Histoire de France, & en ses livres des Miracles, s’appelle vulgairement en Auvergne, Saint Antolien.