settings: ajout d'une option pr choisir le lecteur vidéo.

GUI: modif mineure pr prendre en compte l'option du lecteur vidéo.
Fixes issue #17.