Ben tout ce que tu me racontes ça arrive malheureusement parfois.
Tu n'as qu'a regarder quel codec divx ton copain a installé.
Et quand tu dis que certains divx ne passent pas avec WMP de quelle version parles-tu? Je ne connais que la version 6.4, le reste des WMP (en tout cas les versions postérieures à la 6.4) je ne les supporte pas : elles sont lourdes, moches trop instables, mais surtout n'apportent strictement rien en plus si ce n'est des problèmes....
Tes problèmes peuvent provenir de trop de choses diffèrentes : codecs mal installé, système d'exploitation mal installé, driver de carte graphique mal installé, directX mal installé, vidéo mal encodées ou trop bidouillée....et plein d'autres trucs je suis sur.....