Les fonctionnaires travaillent-ils vraiment moins que les salariés du privé ?