renommer les extensions

[Bernard Schoenacker <bernard.schoenacker@free.fr>]

bonjour,

	j'ai à renommer 85 fichiers txt.html en html

	avec sed j'y arrive en apperçu, mais c'est pas la bonne
	méthode ...

	tree |awk '/html/ {print $2}'|sed -e 's/txt.html/html/g'

	qui a une soluiton élégante ?

	slt
	bernard