Pour continuer dans la typographie, je me suis toujours demandé pourquoi les polices de caractères utilisées sur le Web ne comprenaient pas directement des espaces fines avant ou après les signes de ponctuation… C'est très facile à faire pourtant… Au temps du plomb, certaines polices étaient fabriquées ainsi… Dès lors, pas besoin d'ajouter manuellement des espaces fines insécables… Par la suite, avec l'arrivée de l'électronique, les logiciels professionnels de mise en page intègrent désormais ce qu'on appelle des "tables d'approches". Il suffit de programmer tous les signes possibles avec tous les signes de ponctuation probables (deux-points, point-virgule, point d'interrogation, guillemets, etc.). On peut régler ça finement pour chaque police. Il est même possible d'exporter une table et de l'intégrer à une autre police. C'est un peu fastidieux au départ, mais une fois que c'est fait, plus besoin d'agir manuellement. Du temps gagné !