Y-a-t-il un autre intérêt en dehors de compenser pour un flag incorrect ?
Alors la vérification des tailles, non, ça n'a pas d'intérêt. Mais la taille sert en cas de récupération de police de la même famille que la police demandée, mais pas nécessairement de la même taille précisément.
Au passage, il me semble qu'il est possible d'embarquer les polices dans le PDF. Perso je préfère ça, justement pour éviter les surprises en changeant d'appareil.
Tout à fait, je le mentionne avec la police Wingdings qui est embarquée dans le document. Mais pour les polices que «tout le monde a», il peut être légitime de ne pas les inclure. C'est le cas notamment de Helvetica et ses clones. Ça permet d'avoir un PDF un peu moins volumineux, même si ça sert moins aujourd'hui...
[^] # Re: Heuristique
Posté par Pinaraf . En réponse au journal PDF, mais que fait la police. Évalué à 7.
Alors la vérification des tailles, non, ça n'a pas d'intérêt. Mais la taille sert en cas de récupération de police de la même famille que la police demandée, mais pas nécessairement de la même taille précisément.
Tout à fait, je le mentionne avec la police Wingdings qui est embarquée dans le document. Mais pour les polices que «tout le monde a», il peut être légitime de ne pas les inclure. C'est le cas notamment de Helvetica et ses clones. Ça permet d'avoir un PDF un peu moins volumineux, même si ça sert moins aujourd'hui...