Toutefois, si vous facturez à l'heure — admettons que ce soit le cas — vous disposez d'une option qui prend un temps chèrement payé : choisissez Imprimer dans le menu Fichier, puis ColorSync dans le second menu déroulant Préréglages s'affichant. Dans le menu Filtre Quartz qui s'affiche, choisissez Ajouter des filtres. Cliquez sur l'icône ovale dans le coin supérieur gauche de la boîte de dialogue qui s'affiche, cliquez sur le filtre nommé Reduce File Size, puis cliquez, en le maintenant enfoncé, sur le bouton fléché situé à droite de ce filtre et choisissez Dupliquer le filtre. Cette opération crée un filtre déverrouillé que vous pouvez modifier.

Maintenant, cliquez sur le triangle situé à gauche du filtre dupliqué pour en afficher les options. C'est là que vous pouvez faire votre choix. Je vous conseille de cliquer sur la flèche située à la gauche de l'option Compression d'image et de déplacer la glissière magique qui vous permet de contrôler le degré de compression JPEG affectant vos images PDF. Pour réduire la taille des fichiers, faites descendre la glissière Qualité vers le minimum. Ensuite, revenez dans TextEdit et, dans la boîte de dialogue Imprimer, choisissez ColorSync dans le second menu déroulant Préréglages, sélectionnez votre nouveau filtre dans le menu déroulant Filtre Quartz et cliquez sur Imprimer. C'est tout. (Ouf !)