Pour le calcul de la capacité des disques durs, les fabricants comptent 1 Mo = 1000 Ko et 1 Go = 1000 Mo au lieu de 1 Mo = 1024 Ko et 1 Go = 1024 Mo.
Si tu fais le calcul : 80 * 1000 * 1000 * 1024 / 1024 = 76.29
Donc tout est normal

En fait, faudrait juste que les fabricants de disques durs arrêtent de se foutre de notre gueule quand ils calculent leurs capacités (ils sont pas les seuls à faire ça d'ailleurs ... j'ai déjà remarqué un problème similaire chez Iomega avec les Zip 100 qui ne font que 95 Mo, et même nos bonnes vieilles disquettes 1.44 Mo qui n'en font que 1.38 ...)