Eh bien, tu multiplexes, c'est-à-dire que tu rassembles les deux flux, vidéo et audio, pour créer un seul fichier avi.
Soit tu décodes l'ac3 en wav (avec PX3Conv par exemple) et tu fais un DivX "classique" (avec compression de la piste audio en MP3).
Soit tu gardes ta piste ac3 sans la recompresser.
Dans les deux cas, tu peux assembler les flux vidéo et audio avec VirtualDub...