12/07/2016 à 19:39 Pierre Beyssac @pbeyssac
La barre de progression pour renommer un fichier, invention pittoresque, existe encore sous Windows 10. C'eût été dommage de la virer.
