Réponses:
Pour moi, la partition Mavericks utilise 5,36 Go (5 355 311 104 octets) (par utilitaire de disque). Cela représente 4,98 Go dans les types "binaires" de la vieille école comme moi (4,98 Gio).
Cela est sujet à modification en raison de la surcharge de la partition, de la taille du bloc et de la version Mavericks. J'allouerais donc un peu plus à la partition.