c clair que c'est enorme !
Cela dit, si son disque est rempli de petits fichiers (comme pour des install de jeux) de 1 ou 2 Ko, et que la partition est en fat32 avec des clusters de 32ko, on pert vite de la place. C'est pour ca que quand on regarde les propriétés d'un dossier on a sa taille reelle, et l'espace occupé effectivement sur le disque. Quand il y a beaucoup de petits fichiers dans un dossier, il y a de quoi etre supris par la difference qu'on peut obtenir !