Le 18-12-2020, à 09:59:57 +0100, Pierre Malard a écrit :
P.e. : [1]https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=792187
Date de 2015 et a été fermé en décembre 2016. Donc j'imagine que ça ne me concerne pas. Merci pour l'effort.