Mixer avi et mp3

Bonjour

j'ai en possession un fichier avi sans son e un fichier mp3 qui est le son de mon fichier avi.
Comme vous vous en doutez, j'aurais aimé les mixer, de maniere a avoir au final un seul fichier avi avec le son correspondant
Merci d'avance si vous connaissez la solution
A+