Histoire du choléra aux Indes orientales avant 1817, par J. Semmelink, — Jan Semmelink