Le problème aussi est l'espace du disque dur 5.6Go, je n'aurai pas assez de place pour les deux os et en plus, travailler dessus.
Mon choix se porte donc plus pour un linux.
J'hésitais entre ubundu, debian ou gentoo.
Apparament ubundu est plus approprié sur mac, est ce le cas...