Grève dans la fonction publique : plusieurs milliers de manifestants à Marseille