Merci pour vos réponses.
La police Atalante propose de beaux caractères pour les ensembles de nombres. Toutes les lettres de l'aphabet majuscule sont disponibles dans ce format (avec un trait vertical supplémentaire), sauf, curieusement, les majuscules U,V,W,X,Y,Z. Elle propose en plus, des lettres majuscules "rondes" qui servent à désigner généralement des courbes, des droites. Là encore, il manque seulement quelques lettres : G et Q. Pourquoi ? Mystère. On y trouve également un caractère inhabituel : la lettre Delta majuscule avec une barre oblique supplémmentaire à gauche, dans le même style que les lettres désignant les ensembles de nombres.
La police math12 est plus pauvre (seuls les codes 32 à 123 sont disponibles) et je lui trouve moins d'intérêt. On y trouve cependant des caractères bien utiles (, , , l'opérateur de composition des applicaitons, et quelques autres comme la lettre l minuscule ronde). Les lettres désignant les ensembles de nombres sont présents (sauf ID et IH) mais leur dessin est moins beau et moins homogène.
Il restera à savoir si ces 2 polices sont libres de droit et suceptibles d'être ajoutées dans un document pdf ...