• [^] # Re: Heuristique

    Posté par . En réponse au journal PDF, mais que fait la police. Évalué à 3.

    En très schématique, une police, c'est une table de correspondance entre les codes de caractères (en UTF-8, par exemple) et un ou plusieurs dessins représentant la lettre dans la police.

    Si tu inclue toute la police, tu inclue l'intégralité de la table telle quelle, que les caractères soient présents dans le document ou non. Dans l'autre cas, tu filtre la table pour ne garder que les caractère utiles pour rendre ton document.