• [^] # Re: Heuristique

    Posté par (site web personnel) . En réponse au journal PDF, mais que fait la police. Évalué à 7. Dernière modification le 22 août 2021 à 08:37.

    Qu'entend-t-on par inclusion de caractères utilisés ?

    Ben exactement ça : il n'y a que les caractères utilisés dans le document, et non l'ensemble des caractères de la police, qui sont intégrés au dit document. Est-ce plus clair.

    « Il vaut mieux mobiliser son intelligence sur des conneries que mobiliser sa connerie sur des choses intelligentes. »