Bon bha ça aura été rapide.
Installation à la sagouin d'arduino depuis le site web, installation de teensyduino par dessus.

Récup des sources du firmware, modif du layout, compil, upload et ça fonctionne.

Moins d'une heure pour modifier le layout du clavier :-D