À l&#39;ouverture d&#39;Opera, ce matin, s&#39;est affiché un message me disant que la version 10.1 était sortie mais qu&#39;il était préférable de passer par le dépôt pour l&#39;obtenir. Donc, cela implique que le dépôt devrait fonctionner. Or il figure dans mon source.list ainsi: <a href="http://deb.opera.com/opera/">http://deb.opera.com/opera/</a> lenny non-free et je n&#39;ai pas eu de mise à jour de ce côté, même avec un sudo apt-get update. Peut-être faut-il attendre un jour ou deux, le temps qu&#39;ils se mettent à jour? Je souhaite vivement une mise à jour. Opera, depuis version 10, bouffe parfois tout le jus de mon CPU, dès que Flash ou Gmail sont impliqués. Ça vous arrive aussi?<br clear="all">

<div><br></div><div>Gilbert <br></div>
<br><br><br>