Comment changer la taille de la police dans un PDF

Le format de document portable (PDF) est un moyen courant et facile de partager des documents électroniques. Pour éditer un PDF, vous aurez besoin d'un programme d'écriture PDF avec des fonctionnalités de reconnaissance de texte et d'édition. Bien que de nombreux programmes complets de rédaction de PDF soient payants, des versions shareware sont disponibles. Vous pouvez modifier le contenu d'un PDF, comme la taille de la police, en procédant comme suit :

Ouvrez le document que vous souhaitez modifier. Cliquez sur le menu déroulant "Document" et sélectionnez "Reconnaissance de texte OCR". Cliquez une fois sur "Reconnaître le texte à l'aide de l'OCR", qui ouvrira une fenêtre distincte vous demandant d'identifier les pages du PDF qui doivent être reconnues. Choisissez « Toutes les pages », « Page actuelle » ou « À partir de la page ». (« À partir de la page » vous permettra de sélectionner une plage de pages ; exemple : pages 3 à 10). Cliquez sur « OK ». Selon le nombre de pages vous avez sélectionné, le processus peut prendre un certain temps.

Cliquez sur « Outils » et sélectionnez « Édition avancée » une fois le processus de reconnaissance de texte terminé. Sélectionnez « outil de retouche de texte ». Mettez en surbrillance le texte que vous souhaitez modifier.

Cliquez avec le bouton droit sur le texte en surbrillance et sélectionnez « Propriétés ». Sélectionnez l'onglet « Texte » dans la fenêtre contextuelle « Propriétés de la retouche ». Cliquez sur « Taille de police » pour sélectionner la taille de police souhaitée. Cliquez sur "Fermer".

Enregistrez le PDF en utilisant l'option "Enregistrer" dans le menu déroulant "Fichier". Pour conserver le document source, utilisez « Enregistrer sous » pour renommer le PDF modifié. Cela gardera votre document original intact et créera une copie de votre document édité sous un nouveau nom de fichier de votre choix.