Comment lire des vidéos au format DivX ?

Depuis que vous avez installé une nouvelle carte graphique et la version 5 de DivX, certaines vidéos encodées dans ce format sont devenues saccadées, ou la bande sonore est désynchronisée de l'image.