Tout dépend de leurs extensions.
Certains sont en *.mov, d'autres en avi et peut-être certains mais rares en mpeg, mais ça je ne le jurerais pas.
Donc pour les fichiers mov, le lecteur quicktime est amplement suffisant et donne une image d'une incroyable netteté.
Pour le avi, n'importe quel lecteur maintenant le prend en charge. Mon choix perso porte sur le Mplayer classic. Pas beau au niveau du style du lecteur mais ça on s'en fout car en plein écran, on ne voit plus que le film.
Sinon, BSPlayer est le choix le plus judicieux.