Je suis sûr que vous avez déjà eu besoin de IE sous Linux car il n'était pas possible de voir un site web autrement. La solution à votre porblème sans avoir besoin de redémarrer est peut-être sur le site IEs4Linux.