DuckDuckGo va devenir le moteur de recherche par défaut de Gnome. C'est une bonne chose.
(Permalink)