Convertir video mp4 en avi avec vlc