Cela est dû au fait qu'en informatique 1Kb est égal à 1024 b et non à 1000 b comme le veut la définition du kilo.
Perso j'ai 1 disque de 20Go. Si je regarde dans propriétés du disque C: j'ai capcité : 20 010 500 096 18,6 Go
En résumé tu n'as que 38,2Go mais tu as bien tes 40 000 000 000 octets, même un peu plus.

Claude