Dictionnaire de Trévoux/6e édition, 1771/CARPENTERIE ou CARPENTER-LAND
(2, p. 281).
☞ CARPENTERIE ou CARPENTER-LAND. Grand pays d’Asie, au midi de la nouvelle Guinée & dans la nouvelle Hollande, découvert par Carpenter, Hollandois, qui lui a donné son nom. Les relations hollandoises ne disent rien de particulier de ce pays.