J'ai plusieurs fichiers dans un dossier, avec des noms sous la forme: numéro SOMETEXT1, numéro SOMETEXT2.mp3, ou numéro SOMETEXT.mp3. Je souhaite renommer ces éléments avec le numéro SOMETEXT SOMETEXT2.mp3 ou le numéro SOMETEXT.mp3. En utilisant des outils de ligne de commande bash et GNU communs, comment pourrais-je y parvenir?