(Géographie) ancienne ville d'Asie dans l'île de la grande Java, détruite par les Hollandais, et dont ils ont fait ensuite, sous le nom de Batavia, une des plus belles places des Indes, et la capitale de tous les pays que possède la compagnie au-delà du Cap de Bonne-Espérance. Voyez BATAVIA. (D.J.)