I lavoratori pubblici italiani hanno superato i 3,7 milioni