public building

buildings or groups of buildings owned and operated by a governing body, carrying out official duties, and often occupied by a governmental agency