flanker (./10038) :
* changer le serveur DNS tout en restant en DHCP pour l'attribution de l'IP

C'était un défaut des vieilles versions de NetworkManager, mais la version actuelle le permet facilement (il y a un mode "Automatique (adresse uniquement)", c'est-à-dire "DHCP (IP uniquement)").

et passer d'une conf réseau à l'autre (une avec le DNS fourni par le DHCP, l'autre avec un DNS spécifique) en deux clics,

Ça aussi, ça marche maintenant avec les frontends pour NetworkManager.