salut
la différence entre les 2 est, me semble-t-il, la suivante
la taille est la taille réelle de ton fichier
la taille sur le disque est la place qui est prise sur le disque dur pour stocké le fichier.
as tu essayé de défragmenter ton disque dur car 9 mo pour un fichier de 900 ko c'est beaucoup.