pdf_setfont( ) remplace la police courante par font , à la taille size . font est créé par pdf_findfont( ) .