Eventuellement changer de player de DivX. J'en ai deja parlé sur un autre post, et ya un topic consacré aux codecs, mais il est toujours bons de rappeler qu'il existe de players MULTIFORMATS comme le Media Player Classic (RealMedia, Quicktime, etc inclus) ...
Tu peux le trouver ici : http://sourceforge.net/project/sho [...] _id=180834
Et pendant que j'y pense, je viens de tomber sur un pack de codecs assez original qui propose le MPC ainsi que tout une tripotée de codecs à installer AU CHOIX et A LA VOLEE ... le site où le télécharger : http://www.muskcodec.com/index.php
Le WMP9 est peut etre beau, mais c'est loin d'etre le plus pratique et le plus leger ...