Je veux étendre mon espace disque de démarrage de 25 Go à 40 Go en utilisant ce guide : http://blog.kyodium.net/2010/11/increase-disk-and-partition-size-in.html
Mais si je fais umount /dev/disk0s2 comme indiqué dans l'article, le disque est occupé. Si je fais diskutil unmount /dev/disk0s2 comme le conseille le terminal, il est indiqué que le démontage a échoué.
Je ne peux pas non plus aller dans l'utilitaire de disque pour le faire, car il affiche alors ce message : 
C'est pourquoi j'utilise cet article qui dit que vous devez utiliser le terminal pour étendre le disque à la place et voici ce que j'ai essayé :
