Esses 16 mil funcionários públicos representam 3% do total de 507 mil em Portugal...
E 3% do funcionalismo público do Brasil quanto seria? Sem exagero alcançariam uns 40.000 funcionários!

PUBLICO.PT
http://economia.publico.pt/Noticia/menos-16-mil-funcionarios-publicos-no-ultimo-ano-1513789