Hi Theophile!
Try reading following threads:
http://forum.bsplayer.org/viewtopic.php?t=3042 http://forum.bsplayer.org/viewtopic.php?t=2734
There are listed some codecs which can help you.
Regarding DivX codecs' provenience, I don't know which 'other' codec do you mean, but I think ffdshow filters can reproduce DivX files.
Sorry for my poor answer, but I don't want to suggest something wrong :oops:
Hope this can help you!
Ciao