J'ai mis le fichier à la poubelle et redémarrer immédiatement, pas de problème, j'ai aussi redémarrer sur le dd externe bootable pour voir, là aussi pas de problème.
Sauf que maintenant , dans utilitaire de disque le volume de macintosh HD est en rouge : ce disque ne peut plus être réparé...