Grève de la fonction publique : les fonctionnaires sont-ils moins bien rémunérés que les salariés du privé ?