Le 28/03/2020 à 19:22, Jean Bernon a écrit : [...] > Je me sers de GNOME Paquets (packagekit ?) pour ajouter des paquets .deb externes aux dépôts de mon sources.list. [...] ne serait-ce pas plutôt gdebi?