Thermostatted Lorentz gas, steady state current, smoothness, 
regularity, symbolic dynamics