Gobierno federal operará con 10 mil burócratas menos