sauf que la playstation n´a pas de OS, elle a un simple firmware intégré dans de la mémoire flash.
Rien à voir avec le disque dur.
Le fait est que nos maths sont en base 10, tandis que les disques durs et autres unités de stockages sont en base 8 (octet = octo = 8, il faut 8 bits pour faire un octet, par exemple 0 = 00000000, 1 = 00000001, 2 = 00000010, etc...).
Du coup, un kilo octet (1Ko) ne fait pas 1000 octet mais 1024, et 37 Go font un petit peu plus de 40000000000 octets soit 40 milliards d´octets soit 40 giga, dans notre base 10 de tous les jours.
Pour résumer ton disque fait bel et bien 40 giga, mais le système, biaisé par sa base 8, en affiche moins...