OK, mais j'ai déjà fait ça avec command-R: reinstallation à partir du net. Rien de mieux... :-(
Je vais voir ce que ça donne avec le combo 10.13.5... Si ça marche pas tant pis, la gêne est mineure, 5 lettres à rentrer en plus à chaque redémarrage, ça ne vaut pas une réinstall clean complète...