Ett visst område där rökning är tillåten inom en lokal där är annars allmänt förbjudet att röka.