Dictionnaire de Trévoux/6e édition, 1771/ANTONIN
(1, p. 396).
ANTONIN. s. m. Antoninus. Nom d’homme. Antonin Pie ; Marc Auréle Antonin, surnommé le Philosophe ; Antonin Caracalla ; Antonin Elagabale, sont des Empereurs Romains. Saint Antonin, Archevêque de Florence, y naquit en 1389, & mourut le 2 Mai en 1459.