Pour l'avoir réessayé, je crois comprendre que c'est en défilant la page web vers le bas avec la roulette de ma souris sous Firefox, que Fedora plantait.
Depuis j'ai réinstallé Fedora 20 avec une mise à jour par la commande :
sudo yum update
Depuis le problème ne semble pas se reproduire.
