Air temperature distribution in an office space