[Indoor air pollution caused by cigarette smoke in public places in Portugal].