Habt ihr keinen Betriebsrat?
Man muß auch gar nicht direkt "petzen". Bei uns gibt es eine Art Meckerkasten, da kann dann jeder seinen Text anonym reinwerfen. In dem von Dir beschriebenen Fall, würde der BR durchgreifen müssen. Zuerst versuchen mit Chef zu reden. Da man aber wohl auch nicht den Namen des Chefs benutzen wird, kann nur allgemein gehandelt werden.
Nämlich Rauchverbot für alle.
Bei uns ist es noch locker gehalten. Wenn alle betroffenen einverstanden sind, dann jemand raucht, ist es ok. Aber sobald auch nur eine Person was dagegen hat, müssen die anderen, die im gleichen Raum oder angrenzend sitzen, aufhören.
Ist natürlich schwierig. Weil es passieren könnte, dass dann niemand mehr im Gebäude rauchen darf.
Ach ja, wie sehr Chef ist Dein Chef denn? Ist er Abteilungsleiter oder direkt GF?