Les Français travaillent-ils plus ou moins que leurs voisins européens ?