On Thu, 11 Jul 2019, Nicholas Geovanis wrote:
Hmmm. How about checking your RAM , a memtest.
thanks for your answer, but meanwhile, I upgraded fron Stretch to Buster, and the problem disappeared... I don't know whether the fix comes from the upgrade, or just the reboot... best regards, -- Pierre Frenkiel