Oui, le Radgametools, c'est ce qui est utilisé pour les cinématique de la plupart de jeux vidéos.
Tu convertis ton AVI en *.BIK ou en *.SMK si c'est en 256 couleurs, et ensuite tu convertir ce fichier en *.EXE avec les options de ton choix comme de le faire tourner en boucle, en plein écran, en fenêtre, etc... ça te crée l'EXE autonome.
Mais c'est long pour la conversion.