Edificio o grupo de edificios poseÃdo y gestionado por un cuerpo del gobierno y, con frecuencia, ocupado por una agencia gubernamental.