civil service

the collective term for all employees of government departments.