Merci Papiosaur, encore une fois c'est bien vu...
Je n'avais pas de clé USB ou disque externe branché,
par contre j'ai un Hub USB 3 pour augmenter le nombre de
ports USB du mac mini
Lorsque je débranche le Hub, je n'ai plus le problème de boot à chaud !
Ce Hub fonctionnait jusqu'à la version 3.11 de Chrysalis,
mais plus maintenant. Il me reste à trouver un Hub USB 2
à la cave ou ailleurs pour faire l'essai avec un autre modèle
Voici le Hub incompatible :