Optimisez votre disque dur

Partition manager permet, entre autres, de gérer l'espace libre entre partitions Mac OS et windows.