A combien se chiffre le financement public pour les syndicats ?