Dictionnaire de Trévoux/6e édition, 1771/DIEMENTS
(3, p. 331).
DIEMENTS. Terre de Diements. Prononcez Diments. Diemeni Regio. Pays dans les Terres Australes, le long de la côte Septentrionale de la Nouvelle Hollande, au midi de la Terre des Papous, & des Molucques. Les Hollandois, qui le découvrirent l’an 1542, lui donnèrent le nom d’Antoine Diements, alors Général de la Compagnie des Indes Orientales. Maty. On l’appelle aussi Dime.