Coup d'oeil sur les travaux hydrographiques des Hollandais à Java, par Louis Halphen, — Louis Halphen