Salut et bienvenue sur le forum!
Les codecs DivX se trouvent sur le net (site officiel =
www.divx.com). Il existe pour chaque codec jusqu'au 5.11 une version gratuite qui a des spywares, et une version payante qui en est dépourvue (plus une version gratuite sans spys, mais complètement bridée). Notons au passage qu'il y a aussi le Xvid qui est gratuit, sans spywares et d'au moins aussi bonne qualité.
Pour ce qui est de les faire reconnaître par Adobe premiere, j'en sais rien je l'ai pas, mais a priori, une fois que les codecs s'installent, windows en est au courant -> n'importe quel soft peut les utiliser et savoir qu'ils sont là.
Cela dit, pour l'encodage DivX/Xvid, il existe des softs spécialisés qui automatiseront la tâche et feront le boulot parfaitement. A toi de voir ce que tu veux.
Ton format de départ (celui que tu as actuellement et que tu veux transformer en DivX), c'est quoi au juste?

"L'absence totale d'humour dans la bible est une des choses les plus étranges de la littérature." (A. N. Whitehead).