A toi de tester ensuite les extensions de ancien et nouveau. Si elles sont pas pareilles, met l'ancien ext à la fin du nouveau nom
Ben réfléchis un peu
ben tu peux récupérer l'extension, la couper, et la rajouter à ton nom de fichier... et ce si l'extension n'est pas déjà présente...