Quelle est la différence entre une machine et du ketchup ?