Codecs pour AVI

Bonjour,
J'utilise Kdenlive vers.08.21 pour créer des lapstimes et des ralentis.
Problème: j'aimerais les convertir en .AVI. cette option est grisée et je ne peux faire mes rendus qu'en mpeg 2.
Sans doute que les codecs nécessaires ne sont pas installés sur Ubuntu 12.4 ?
Actuellement je convertis les mpeg en AVI via mon logiciel de montage sous Windows: Magix
Comment faire?
Merci pour vos conseils.