Dictionnaire De Port-Royal. PT 2016, 62 (232).