Finalement, ABRT me propose ceci :
An update exists which might fix your problem. You can install it by running:
yum update --enablerepo=fedora --enablerepo=updates-testing mutter-wayland-3.10.1-2.fc20 gnome-shell-3.10.3-3.fc20 mutter-3.10.3-2.fc20
Do you want to continue with reporting the bug?
Finalement, je ne fais pas de rapport car il me propose de tout examiner à la main pour voir si je n'envoie pas de données sensibles. Mais c'est trop long à faire à la main et il y a des trucs sensibles dans cette machine...
Je fais l'update proposée.