Bon, c'est reglé par la méthode finalement employée : recovery mode et réinstall de l'OS sur SSD externe, puis swap du disque. Impeccable, et j'ai toujours la partition recovery apple_boot.
Mais il me faudrait quand même arriver à faire une clé usb de réinstall qui fonctionne, car manifestement...