In many countries, the word “government” only refers to the executive branch
The rest are often called civil servants.
alt Hacker News
The rest are often called civil servants.