Tout simplement car :
1) 80 Go = 80*1024*1024*1024 = 85.899.345.920 Octets
2) 80 Go = 80*1000*1000*1000 = 80.000.000.000 Octets
1) = D´aprés la logique, 1 Ko = 1024 Octets
2) = D´aprés les constructeurs de disques durs, 1 Ko = 1000 Octets
On perd donc 24 Octets sur chaque Ko, ce qui revient a une perte de 73.741.824 Ko sur 1 Go, c´est a dire environ 70,32 Mo/Go, qu´on multiplie par 80 (capacité de ton DD) 73.741.824*80 = 5.899.345.920 = 5,49419403076171865 Go
On perd donc, environ 7% de la capacité entiére du DD, et ce pour tout les DD.
80-5,49= 74,51, c´est la capcité que devrait avoir ton DD, mais généralement on a quelque Mo de plus, ce qui se retrouve donc dans ton cas, 74,54 Go.
Conclusion : la capacité de ton DD est donc normale. 