Modifier extension dun fichier sous windows 7