Comment configurer pulseaudio pour lui dire de changer de sortie quand les hauts parleurs ET le casque sont branchés.

Parcque c'est moi qui décide !

(Au bout d'un an de "je branche/je débranche physiquement le matos" je me suis enfin décidé à régler mon problème une bonne pour toute... Et ca fait du bien !)