月一回の読書会で、いつも利用させていただいている市民センターが、あります。 そこの会議室を借りて、いつも読書会を行っているのですが、いつ頃からか、その会議室が禁煙になりました。でも、市民センター全体が、禁煙というわけではなく、ロビーの一角に喫煙室が設けられていて、タバコを吸いたい人は、そこで吸ってもいいようになっていました。 読書会のメンバーは、ほとんどタバコを吸わないのですが、一人、数学者のKさんだけは、吸わない私から見ると、ヘビースモーカーかな、と思えるくらい、タバコをよく吸われる方で、会議室が禁煙になっていない頃は、読書会中にも、缶コーヒーの空き缶を灰皿代わりにして、何本かタバコを吸われていました。会議室が、禁煙になると、Kさんは、時々席を外して、ロビーの喫煙室にタバコを吸いに行かれるようになりました。 ある時、読書会に行くと、ロビーの喫煙室が、突然なくなっていて、市民センター内で