distīnctŏr, ōris, m. (distinguo), celui qui distingue, qui fait la différence : Aug. Ev. Joann. 20, 12.