Bob, Many thanks for the interesting hint ! Another thing you could do is run console-log (and bootlogd)