Pis surtout, MKV et DivX c'est pas comparable
MKV est un format de conteneur vidéo (à l'instar de l'AVI), alors que le DivX est un codec ...
Un fichier au format MKV peut donc très bien être un DivX, tout comme un XviD, un RV9, ou même un bon vieux MPEG ...
Une vidéo compressée en DivX peut quant à elle se présenter aussi bien sous la forme d'un .avi que d'un .mkv ou même un .mov (le format Quicktime étant à la fois un codec et un conteneur).