Parce que je comprends pas trop... Logiquement, tu télécharges un fichier, ça n´a rien à voir avec les codecs...
Sinon, tu vires window$ media player comme lecteur par défaut, et à la place tu prends Divx Player ( gratos et légal sur www.telecharger.fr)