Ben j'en sais rien j'ai pas d'autre lecteur vidéo, j'ai toujours supposé que si j'en avais un il les utiliserait aussi, ça me semble logique (ils vont dans /usr/lib/codecs qui ne semble pas avoir un nom spécifique à mplayer), mais j'ai jamais vérifié. Edit : après une mini recherche google il semble que ces codecs soient utilisés aussi par xine et kaffeine, au moins.