Ton time machine tu la fais sur un disque dur externe ?
(juste pour être certain que APPLE_KFS ce n’est pas ta backup time machine, ce serait con. non.).
OK pour effacer ta partition tu peux faire ceci :
diskutil list
pour vérifier que la partition APPLE_KFS est toujours bien sûr disk0s3
Si le retour le confirme ainsi :
3: Apple_KFS 500.0 GB disk0s3
diskutil eraseVolume free space disk0s3
Si cette dernière ne passe pas le manpage de diskutils précise Free Space, majuscule devant, mais peut-être insensible à la case.
Ceci va libérer de l'espace disque, mais sans le formater dans un système de fichier particulier, laisse-le ainsi pour installer Linux.
Retape :
diskutil list
pour voir si elle à bien disparu.
Si parano ou pour être certain va voir dans la gestion des disques du système OSX.
Après c'est tout ce qui est nécessaire.
Reboot pour être certain que le système OSX fonctionne toujours...
Ne tape pas ceci s'il manque de la place le truc qui ressemble à un numéro de série est le code UUID du disque (tu dois mettre le tien, mais pas utile dans ton cas, je pense):
diskutil cs resizestack A2EB2AC1-6B91-436A-8334FED2AB1E 0b
Pour refind, quand tu auras installé Linux tu vas éjecter la clé pour pouvoir rebooter dessus.
Si impossible de boot direct avec alt gauche, sélection de volume, tu va booter sur OSX par défaut.
Après via l'un ou l'autre Refind est installable....