Rede pública do DF tem déficit de mais de 6 mil profissionais de saúde