police et fonte

["Jacques Anis" <jacques.anis@xxxxxxxxxxxx>]

Eclairez-moi d'un doute, chers amis. Etes-vous d'accord avec ce qui suit :
Une fonte est une famille de caractères, par exemple Palatino. Une police
est un jeu de caractères appartenant à une même fonte, dans un corps donné
et un même style.
Cependant le développement de l'informatique de l'écrit a amené à utiliser
police au sens de fonte.

Je précise que je suis troublé par le dictionnaire typographie multilingue
de l'IRISA qui indique :
font, fount :            fonte,police,caractère
typeface :            oeil, style de caractère, police.