civil servant [pl. civil servants]