Changer l'extension d'un fichier

[Pierre]

Tout en posant mes questions, je continue à fouiner sur internet pour 
trouver des réponses.
je viens de trouver un document de Armand Delcros ", "_*Les commandes 
fondamentales de Linux.*_* *J'ai de quoi boser.
Bien entendu je reste ouvert à toutes les suggestions. Le problème avec 
Internet, c'est qu'il y a tellement de choses, qu'on peut passer à côté 
de ce que l'on cherche, des centaines de fois sans le savoir.

Bonsoir à tous

Pierre