Non credo che sia così semplice perché ci sono vari formati di compressione, AVI è un'estensione valida sia per formati non compressi che per i divx.