Bonsoir,

La dernière version (8.0.1r36) semble avoir réglé le problème.
Une remarque : cette release est sortie AVANT que mon incident soit pris en charge par les développeurs de l'éditeur.
J'ai testé en revenant à une release antécédente, le problème réapparait bien.
Donc à priori, la r36 semble avoir quelque chose qui a eu pour effet (de bord?) de régler mon problème : j'ai tourné toute la journée avec, pas un seul plantage.