entre temps je viens de découvrir que les réglages de clavier et souris (scroll "naturel" ou non, mapping, etc.) étaient globaux plutôt que par device, donc je vais regarder qq solutions trouvées sur Google qui consistent à écrire des Apple Script pour gérer ça (même si je suis un peu surpris que ça ne soit pas fait par défaut !)