C'est quelle ligne de commande que je doit mettre dans un fichier bat, si je veux que ce fichier renomme par exemple un autre fichier nommé sav.st en stu.gif ?