Faltam 3,9 mil policiais civis no Distrito Federal