Dictionnaire de Trévoux/6e édition, 1771/COCHINCHINOIS
(2, p. 659).
COCHINCHINOIS, OISE, f. & adj. Qui est de la Cochinchine. Cocinsina, Cocinsinensis. Les Cochinchinois sont idolâtres. Leurs Rois, quoique très-puissans, sont tributaires de l’Empereur de la Chine. Les Cochinchinois sont doux & traitables. Troupes Cochinchinoises.
Ce nom vient de Cachu, & Cachochin, ou Kachochien, qui sont ceux que les habitans donnent à leur pays. Le P. De Rhodes, Jésuite, qui avoit été cinq fois à la Cochinchine, en parle fort exactement dans ses divers voyages, L. II, C. 1. On peut voir encore Mendoza, P. II, L. 3.