Aucune différence,
Qu'il soit nommé en .avi ou en .flv , il rèste sous le même codec, y a que l'extension du nom qui change (et appart que certain logs le lisent en .avi mais pas en .flv, sa ne change rien...)
Tu peux bien entendu l'encoder en DivX, ou un autre codec (WMP, ...) et augmenter la taille de la vidéo, mais le résultat sera pixelisé et tout moche ...
Il n'est pas possible de rendre une vidéo plus belle qu'elle ne l'est à la base...
(Quoi que personnellement, je pense que des vidéos composés d'images simples, de schéma, ou encore des animes japonaises... pourrait être agrandit sans perte via un bon codec qui utiliserais la même technologie que l'algoritme dans InkScape pour transformer une image bitmap en image vectorielle...)