Salut,
le mkv n'est pas vraiment un codec, c'est un conteneur qui peut contenir la video, plusieurs flux audio et des sous-titres.
Dans ton cas, pour la video, le codec est realvideo.Donc pour convertir en avi, il te faut un convertisseur realvideo->avi.
tu en trouvera tout un tas sur google en tapant un truc comme "realvideo to avi".
Mais si tu veux convertir cette vidéo car tu n'arrives pas à la lire , je te conseille d'installer les bons codecs et d'utiliser Media Player Classic ou VLC (qui a la particularite de pouvoir lire une video meme sans codec!) qui gerent le mkv.
Et si tu veux tou installer d'un coup (codec+media plyaer classic) je te conseille de télécharger le bon vieux pack satsuki decoder pack.
http://yatoshi.com/en/index.php?p=downloads