Oui et non, ça dépend des polices.
Pour les 12 polices de base, elles sont présentes dans ... le viewer ou le driver d'imprimante. Cela permet de faire des documents assez légers.
Ensuite, il y a les autres polices, qui sont de Type 0, Type 1, MMType1, Type 3, TrueType, CIDFontType0, CIDFontType2, etc.. Là, c'est un peu plus compliqué. Par exemple la doc pour la version 1.6, page 358 dit : "For most font types, the font program is defined in a separate font file, which may be either embedded in a PDF stream object or obtained from an external source." Page 381 : "Optionally, the font program can be embedded as a stream object in the PDF file". Page 409 : "If the TrueType font program is not embedded but is referenced by name ..."