Quelle est la différence entre un marin et un boucher ?