MAJ: problème apparemment résolu, j'ai démonté le Mac mini pour sortir le DD et y accéder sur mon MacBook Air, arrangé le problème dans /urs/lib/ et le DD marche de nouveau dans mon Mac mini.
Seul problème : maintenant, le ventilateur tourne à fond pendant quelques minutes après le démarrage...