Bonjour, Ce matin, sur les dépôts de Debian Stretch, on passe à la version 10.0.0-2+b2. J'espère que ça résout quelques problèmes de plantage apparus ces dernier temps, mais ce n'était pas du fait de grisbi lui-même, puisqu'il n'y a pas eu de mise à jour sur ces dépôts depuis un moment. Jean-luc