Re,
Grace à tes explications, j'ai pu enfin effacer le fichier en question. Comme tu as dit que c'était un bug du système de fichiers, j'ai lancé une réparation (SOS) avec l'utilitaire de disque depuis l'OS de secours. Et miracle ; après le redémarrage le fichier a pu être dégagé. Merci encore.