Le 13 mai, en grève et en manifestation, pour la Fonction publique, les salaires, les pensions et les conditions de travail