Le formatage ne prend pas de place, ce qui prend de la place, c'est le marketing : Pour ton ordinateur, 1Ko = 1024 octets, 1 Mo = 1024 Ko, etc, pour les services marketing des fabricants de DVD, de disques durs, etc, 1 Ko = 1000 octets, 1 Mo = 1000 Ko, etc.
Via ce mode de calcul, 4 700 000 000 octets font pour eux 4,7 Go, et pour ton Mac, seulement un peu moins de 4,38 Go, et mon disque dur externe fait pour eux 320 Go, et pour mon Mac, un millipoil plus que 298 Go.