Mineur : remise en place de fichiers effacés localement / historique