¿Prohibido fumar?

En la ventanilla del mostrador del Registro de la Junta Municipal del Marítimo luce una pegatina de «prohibido fumar, según el Real Decreto 192/88». En esta dependencia, dos funcionarios fuman cigarrillo tras cigarrillo depositando las colillas en un gran cenicero de cristal que está sobre una mesa. Mi duda es: ¿la prohibición sólo es para los que estamos a esta parte del mostrador o también afecta a los funcionarios? ¡O todos o ninguno!