@manton In the UK, one can smoke outside restaurants, bars, pubs, and so on, but not inside.