En réalité, pour le chapitre "Formatez, il en restera toujours un peu moins", il n'y a aucun rapport avec le formatage.

La subtilité est la suivante :
Les constructeurs considèrent avantageusement que 1Ko = 1000 octets or, 1Ko = 1024 octets.
De même ils considèrent que 1Mo = 1000Ko et 1Go = 1000Mo tandis que ce devrait toujours etre 1024.
Si on fait le calcul, au bout du compte, le disque dur de 250Go prétendu est compté par le constructeur comme :
250 000 000 000 octets.
S'il on divise par 1024 trois fois successivement (je vous laisse vérifier), on obtient environ 232Go. Soit la capacité reconnue par votre système d'exploitation.

Rien à voir donc avec le formatage mais c'est un abus des constructeurs à signaler je crois.