Pour le lecteur, j'ai installé BS Player, effectivement il m'a l'air bien (je pense surtout à la fonction capture d'image qui pourrait m'être utile)..
PAr contre je n'arrive toujours pas à lire le Divx en question: je précise que j'ai les derniers codecs Divx récupérés sur le site "officiel"..
Mais tant pis, je persiste et trouverai..
Merci pour vos infos!