Merci pour les conseils, j'ai utilisé iClean pour enlever VLC du système, j'ai redémarré, re-vidé ma corbeille, réinstallé VLC et...... ça marche ! VLC est donc le lecteur par défaut de tous mes .avi et .mkv, youpi !
Encore merci de vous être penché sur mon problème !
:)