Moi j'ai utilisé pocketDivXEncodeur, et franchement quand on voit la taille du fichier final, bof bof...
Je suis passé à Windows Media Encodeur et, n'en déplaise à certains, le rapport Poids / Qualitée / temps de compression, et à mon avis bien meilleur.
De plus, pour ceux qui ne veulent pas s'embeter, il existe déja un profil "vidéo pour pocket PC" qui conviendra parfaitement aux films et clips en 4:3
Autant à mon avis, le DivX est excellent dans les grandes résolutions, autant pour le streaming et les fichiers basse résolution (320x240), le WMV est à mon sens meilleur.
Pour moi le choix est fait : sur mon PDA la vidéo sera en WMV ou ne sera pas ! Aprés chacun fera à son envie.
Note : Mon Divx de 2Heures fait 165Mo en WMV en 320X240, avec une qualité d'image bien meilleur qu'un DivX du même poids.