L’Encyclopédie/1re édition/COCHINCHINE
(Tome 3, p. 561).
COCHINCHINE, (Géog. mod.) grand royaume d’Asie borné par le Tunquin, le royaume de Chiampa, le Kemoi, & la mer : les habitans sont idolatres & fort belliqueux. Ce pays est très-fertile ; on y trouve de l’or, des mines de diamant, & de l’ivoire. Lat. 12. 18.