moi j'ai téléchargé soundsource, un petit logiciel gratuit qu'il faut lancer à chaque démarrage, et qui permet de switcher très rapidement entre les différentes entrées et sortie audio.
Ca ne règle pas encore notre petit soucis, certes, mais c'est tout de meêm bien plus pratique que d'aller dans...