Hi. I wish to report that having rebooted with another version:
$ uname -aLinux dawn 4.2.0-1-amd64 #1 SMP Debian 4.2.6-3 (2015-12-06) x86_64 GNU/Linux
the machine did not crash up to now: $ uptime 02:19:51 up 2 days, 12:21, 3 users, load average: 1.04, 1.06, 1.05[This is without having performed any package update, so the likely cause
is version 4.3 of the kernel.] Has the cause of that problem been identified? Thanks, Gilles