Salut
badrain.
je vois macomaniac

bon courage
-----☝︎

Il veut dire : le courage de me lire
(tu vas vite comprendre)
Le blocage vient de ce que, quand tu as créé ta partition de 100 Go via l'«
Utilitaire de Disque», tu as opté sans y prendre garde pour le
Format :
Mac OS étendu (journalisé, chiffré). Or le chiffrement d'une partition implique comme condition préalable la modification de sa structure logique, qui est convertie en un
Groupe de Volumes Logiques : CoreStorage.
La structure logique
CoreStorage greffe sur la partition d'accueil (chez toi :
/dev/disk0s4) un '
Disque Physique Virtuel' à partir duquel monte un '
Volume Logique' via une instance intermédiaire dite :
Groupe de Famille Logique qui stocke les paramètres de montage du
Volume Logique : s'il est ou non chiffré notamment (ce qui est le cas chez toi).
Comme tu le vois, aussi longtemps que la partition d'accueil de ton disque (
/dev/disk0s4) est 'interceptée' par cette structure logique qui s'est greffée dessus, elle est inadressable et in-manipulable directement. La seule solution est de commencer par détruire la structure logique 'parasite' :
Groupe de Volumes Logiques : CoreStorage et alors seulement tu pourras manipuler ta partition primitive
/dev/disk0s4.
♤
Une méthode graphique simple pour supprimer cette structure globale :
Groupe de Volumes Logiques : CoreStorage [
WARNING : à condition que tu acceptes de supprimer les données actuelles de ton volume 'Sauvegarde' : sinon, sauvegarde-les au préalable sur un DDE] consiste, dans la fenêtre de l'«
Utilitaire de Disque» à sélectionner le
Volume de ta partition 'Sauvegarde' (j'ai bien dit : le
Volume : l'icône en
alinéa par rapport à la marge gauche), à choisir l'option :
Effacer et, dans le panneau qui se démasque comportant une rubrique '
Format', à basculer l'option par défaut qui est forcément dans ton cas (où ton
CoreStorage est
chiffré) :
Mac OS étendu (jounalisé, chiffré) à la valeur stricte :
Mac OS étendu (journalisé) [si jamais, par inattention, tu laissais l'option affichée par défaut comportant le paramètre de chiffrement, c'est comme si tu n'avais rien fait, et la structure :
Groupe de Volumes Logiques : CoreStorage se reconstituerait (moins les données qui auraient été effacées)].
Tu appliques et hop! Tu retrouves l'accès régulier à ta partition
/dev/disk0s4 débarrassée du greffon
CoreStorage.
♧
WARNING : Le fait que ta partition-Système actuelle (celle de l'OS) soit identifiée comme
/dev/disk0s2 (ce qui est normal - la
/dev/disk0s1 étant la partition invisible de 210 Mo de l'
EFI qui est une interface de
boot dans la structure de partitionnement GUID et toujours en 1ère position logique) ; et que ta partition 'Sauvegarde' ex-
CoreStorage et maintenant 'libérée'
Seigneur! Délivrez-nous du CoreStorage... 
soit identifiée en
/dev/disk0s4 - ne signifie qu'une chose :
entre tes 2 partitions
existe une partition graphiquement invisible que l'«
Utilitaire de Disque» (non débogué) ne te montre pas : celle de la «
Recovery HD» de +600 Mo en
/dev/disk0s3.
Si jamais tu te précipitais pour commander la réagrégation de ta partition
/dev/disk0s4 libérée du
CoreStorage à ta partition principale de l'OS
/dev/disk0s2, alors l'«
Utilitaire de Disque» qui pilote le programme UNIX
diskutil conprendrait que tu veux
aussi supprimer la partition intermédiaire de la Recovery HD située en
/dev/disk0s3. Et il le ferait! Et tu te retrouverais sans «
Recovery HD». En guise de preuve expérimentale (si tu acceptais de te taper une rallonge de ma prose) --> ☞
Les tribulation d'AladdinVonSane☜.
Une fois ta partition efffacée, va à :
Applications/Utilitaires, lance le «
Terminal» et dans sa fenêtre écris directement :
et ↩︎ (presse la touche 'Entrée' du clavier pour activer la commande) --> tu vas vite voir surgir, dans le tableau du partitionnement GUID de ton disque, en
/dev/disk0s3 une
Apple Boot Recovery HD 
.
Le mieux que tu aurais à faire, c'est d'utiliser ☞
Carbon Copy Cloner☜ de
Bombich (usage gratuit en démo un mois sans limitation fonctionnelle) et de cloner ta
Recovery HD sur une clé USB (650 Mo, ça le fait). Ensuite seulement, tu supprimes ta partition libérée
/dev/disk0s4 et la réagrégeant en mode 'live' à ta principale
/dev/disk0s2, ce qui va dissoudre par la même occasion celle de la
Recovery /dev/disk0s3 coincée entre les deux (tout cela, sans perte de données pour ta partition-Système en
/dev/disk0s2). Cela fait, tu demande à
CCC de rétrocloner ta
Recovery HD de la clé sur ton disque en créant une mini partition de 1-2 Go pour cela =
/dev/disk0s3. Sinon, tu la crées à cette taille (2 Go disons) dans le panneau de droite de l'«
Utilitaire de Disque» permettant des saisies de valeurs chiffrées précises lors d'un re-partitionnement, avant de demander à
CCC le rétro-clonage sur cette parittion d'accueil si le logiciel râlait.
♡