Here you can, among other things, replace a shortcut automatically by a dash, even in another font.
Vous pouvez, entre autres choses, remplacer automatiquement un raccourci par un tiret, même si la police est différente.