Un homme qui rencontre un prof de logique au bar