Bonjour,
j'utilise rarement virtualdub mais je viens de faire un essai concluant : je décompresse le mp3 en wav via DBpowerAMP Music Converter, j'ouvre la vidéo par virtual dub, je déroule le menu audio, sélectionne wav audio puis le fichier wav que je viens de décompresser. et enfin file, save as avi, et je donne un nom à mon fichier.
Y a certainement plus simple mais en attendant ...