Quelle preuve ?
J'ai déjà rencontré ce problème, et la solution de contournement que j'avais mis en oeuvre était d'installer un logiciel externe de défragmentation, le désinstaller et là comme par enchantement, le défragmenteur intégré à Windows fonctionnait à nouveau.
Pour la petite histoire, j'ai déjà réussi à défragmenter sans aucun souci un disque de 80 Go , avec environ 5 % d'espace libre.