Le ketchup était-il vraiment vendu comme un médicament contre la diarrhée au XIXe siècle?