The rest are often called civil servants.