Vi solution donnée
Tu peux aussi le faire par les commandes DOS, mais c'est plus complexe du fait qu'il faut d'abord que tu ailles dans le bon répertoire et comme tu dis que tu n'es pas le dieu vivant de l'informatique autant laisser tomber
Sinon la commande était (une fois dans le répertoire) :
REN toto.divx toto.avi