Compression en DivX à partir d'adobe premiere

Bonjour,
J'aimerais savoir comment je peux exporter un film en format divx à partir d'un projet adobe premiere pro, y a t'il un codec particulier ou un logiciel supplémentaire à télécharger ? Si oui, où puis je les trouver (ou plutot leur nom ?)

Pendant que j'y suis, quelqu'un saurait-il comment je peux exporter une vidéo en .avi ou .mpeg à partir d'un VCD pour pouvoir retravailler le film ?

Merci d'avance