Bonjour, 9 juil. 2020 à 22:48 de bern@taranig.net: > Le 09/07/2020 à 17:04, Jean-Marc a écrit : > >> Ce que tu décris mérite peut-être un rapport de bug. >> > Il va falloir que je fasse apt install reportbug. > Déjà fait depuis octobre 2016 visiblement : https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=839546 Bonne soirée l0f4r0