Bonjour, Le mercredi 29 octobre 2014 à 15:09, Sylvain L. Sauvage a écrit : > ¹ auquel on peut arriver par : > https://packages.debian.org/search?keywords=linux-source-3.16 > (ou deb:linux-3.16 dans Konqueror) Ou « !dpkg linux-source-3.16 » dans DuckDuckGo ! Seb