07/04/2016 à 11:27 Pierre Beyssac @pbeyssac
L'informatique a un peu progressé en 20 ans : on n'a plus souvent besoin de rebooter l'ordinateur, on doit juste redémarrer le navigateur.