Si je veux en utiliser, soit j'insère des caractères d'une autre police (mais c'est pô beau), soit je pointe séparément chaque lettre (résultat correct, mais travail fastidieux, car le point à insérer diffère selon les lettres), soit j'écris tout mon texte dans une police différente (Gentium par exemple, téléchargeable gratuitement, et très élégante). Y atil d'autres possibilités ?