Le programme qui dit si un document est vraiment conforme

veraPDF est un programme gratuit qui ouvre un document et dit s'il suit vraiment la norme d'archivage dont il se réclame. Il est publié par les organismes qui écrivent cette norme : sa réponse vient donc de l'extérieur. Cette page dit ce qu'il tranche, comment le lancer sur un fichier à vous, et les deux usages qu'on en fait ici.

Résumé

Pensez au contrôle technique d'une voiture. Le garage qui l'entretient toute l'année n'est pas celui qui délivre le certificat : quelqu'un d'autre la regarde, la liste officielle à la main, et dit oui ou non. veraPDF est ce quelqu'un d'autre, pour un document.

C'est un programme que tout le monde peut télécharger et lancer, gratuitement, et il vient des deux organismes qui écrivent eux-mêmes la norme d'archivage : l'Open Preservation Foundation et la PDF Association. La liste qu'il applique est donc la vraie liste, tenue par ceux-là mêmes qui l'ont écrite.

Voici pourquoi cela compte le jour où vous choisissez un fournisseur. Un programme qui noterait ses propres fichiers les mesurerait avec la compréhension même qui les a produits : on lit la règle d'une certaine façon, on écrit le fichier de cette façon, et on le déclare juste. Un contrôle venu de l'extérieur est la seule chose qui rattrape une lecture de travers, et c'est lui qu'ont en tête un service d'archives, un auditeur ou un tribunal quand ils réclament un document conforme.

S'en servir prend une minute. Vous le téléchargez, vous le pointez sur un fichier, et vous nommez la règle sur laquelle il doit le mesurer. Il répond par un simple réussi ou refusé, et derrière cette réponse il énumère chaque règle appliquée, chacune portant le numéro de son article dans le texte publié : ce qu'il refuse se relit donc mot pour mot.

L'équipe s'en sert de deux façons. La première décide de ce que fait le moteur : veraPDF porte par écrit, article par article, les règles qu'il applique, dans des fichiers que tout le monde peut ouvrir. Ces fichiers sont lus avant qu'une règle n'entre dans le moteur, si bien que ce sur quoi le moteur insiste est ce que le texte publié demande, lu sur le vérificateur plutôt que retenu de mémoire.

Le second usage est le plus simple : ce qui sort passe devant lui. Une facture de trois pages, posée sur des modèles de page tels que LibreOffice les a écrits et portant son fichier de données à l'intérieur, est déclarée document d'archive sur 146 règles et 5 456 contrôles distincts, tous satisfaits. Un document de la quatrième partie, portant une hiérarchie de ses propres parties et un lien vers l'une d'elles, passe sur 109 règles sur 109. Les deux chiffres se lisent sur le rapport de veraPDF lui-même, et tous deux se refont sur votre propre machine.

veraPDF couvre les deux familles sur lesquelles ce moteur est mesuré : les documents gardés longtemps, et les documents lus à voix haute à quelqu'un qui ne voit pas la page. La famille de l'imprimerie se tranche autrement, et la page sur les fichiers prêts pour la presse dit comment, et ce que le moteur y garantit.

Techniquement

L'appel, les saveurs sur lesquelles il tranche, où vivent ses profils de règles, et ce que porte un rapport.

Le lancer sur un fichier à vous

La version en ligne de commande est un programme Java livré avec son propre installeur ; une fois déballé, il laisse un exécutable qui prend un fichier et une saveur. La saveur est la règle exacte sur laquelle le fichier est mesuré, et la nommer est ce qui transforme une question vague en verdict. Les chiffres de cette page ont été produits avec la version 1.30.2.

La réponse tient sur une ligne : le verdict, la saveur et le chemin. Tout ce qu'il y a derrière cette ligne est disponible sous forme de rapport — un rapport lisible par une machine, qui nomme chaque règle, les objets auxquels elle a été appliquée et le message de chaque test, et un rapport en clair pour la lecture.

Demander aussi les réussites transforme le rapport en profil entier. Une règle qui a tourné et qui est passée se distingue alors d'une règle qui n'avait rien à regarder, et c'est toute la différence entre un contrôle qui a eu lieu et un contrôle sauté.

verapdf --format text -f 3b invoice.pdf
verapdf --format mrr --success -f ua1 invoice.pdf > report.xml

Les saveurs sur lesquelles il tranche

Quinze saveurs sont livrées avec lui. La famille d'archivage tient 1a, 1b, 2a, 2b, 2u, 3a, 3b, 3u, 4, 4f et 4e ; les règles d'accessibilité tiennent ua1 et ua2 ; les profils bien balisés tiennent wt1r et wt1a. Une lettre nomme un niveau : b promet que la page aura toujours la même allure, a réclame en plus la structure du texte, et u réclame que chaque lettre puisse être ramenée à son caractère.

Chaque saveur est un profil transporté en XML dans l'archive de la ligne de commande, un élément par clause et par test. Compter ces éléments donne la taille d'un verdict : 155 en 3a, 146 en 3b, 106 en ua1, 109 en quatrième partie et 1 727 en ua2. Un rapport produit avec les réussites porte exactement ce nombre de règles, et c'est ainsi qu'un rapport se recoupe avec le profil dont il se réclame.

Vos propres règles, passées par le même programme

Au-delà des profils qu'il embarque, veraPDF extrait en XML ce que porte un document et applique à cet extrait un fichier de politique — un document Schematron portant vos propres assertions. C'est ainsi que la norme des imprimeurs est mesurée ici : onze règles lues sur le texte publié, un verdict par règle, et une ligne de compte à la fin.

Les deux usages restent séparés, et la différence est dite partout où un chiffre repose sur l'un d'eux. Un profil livré avec le programme donne une réponse qui est celle de veraPDF ; un fichier de politique donne une réponse qui est la nôtre, produite à partir de la lecture du fichier par veraPDF.

verapdf --extract --policyfile pdfx4.sch --success -f 3b sheet.pdf

Ce que porte un rapport

Chaque règle d'un rapport porte la norme d'où elle vient, le numéro de sa clause et le numéro du test à l'intérieur de cette clause, le genre d'objet auquel elle s'applique, et la phrase dans laquelle le profil l'énonce. Un test tombé ajoute l'objet sur lequel il est tombé, écrit comme un chemin à travers le document : la page, l'annotation posée dessus, l'apparence de cette annotation, le flux à l'intérieur de cette apparence.

C'est ce chemin qui rend une réponse utilisable. Un rapport qui nomme la clause 6.2.2 test 3 de la quatrième partie, sur le flux de contenu de l'apparence de la première annotation de la première page, désigne un objet et une phrase d'un texte — c'est une réparation qu'on fait dans l'après-midi.

Ce à quoi le moteur est tenu devant lui

Les deux usages, les chiffres que chacun a produits, et les documents sur lesquels ces chiffres ont été produits.

Les profils sont lus comme la source d'une règle

Une règle de conformité peut s'écrire de mémoire d'après la norme, ou se lire sur un profil qui l'énonce. Ici, elle se lit. Les profils voyagent en XML dans l'archive de la ligne de commande, et en ouvrir un transforme une question d'interprétation en simple consultation.

Un exemple a tranché une vraie question. Un document de la quatrième partie d'archivage devait porter un lien vers une partie d'un autre document, une action de l'espèce que le format moderne appelle GoToDp. Savoir si un document d'archive a le droit d'en porter une est affaire de lecture. Le profil de la quatrième partie répond en une ligne : sa règle sur les actions énumère les espèces permises, et celle-là en fait partie, dans les trois saveurs de cette partie. La règle du moteur a été écrite sur cette lecture, et le document qui l'exerce passe.

Lire les profils est aussi ce qui empêche le moteur d'exiger quelque chose que le texte n'a jamais demandé. Un refus que personne ne peut montrer du doigt est un refus sur lequel un client ne peut rien faire : chaque règle que le moteur applique a donc un article derrière elle.

Chaque document passe devant lui

Le second usage est le témoin. Un document écrit par le moteur est remis à veraPDF avant qu'on en dise quoi que ce soit, et ce que le vérificateur répond est ce que ce site publie. Deux de ces passages méritent d'être nommés, parce qu'ils portent leurs chiffres.

Une facture de trois pages, posée sur des modèles de page tels que LibreOffice les a écrits et portant à l'intérieur le fichier de données de la facture : déclarée document d'archive de la troisième partie au niveau b, sur 146 règles et 5 456 contrôles distincts, tous satisfaits.
Un document de la quatrième partie portant une hiérarchie de ses propres parties et un lien vers l'une d'elles : 109 règles sur 109, et toutes tenues.

Les exemples publiés ici passent aussi devant lui

Les documents d'archive du catalogue d'exemples passent devant le vérificateur aux deux niveaux de la troisième partie et devant les règles d'accessibilité, et il les accepte. Il en va de même des vingt-six profils de couleur de référence passés de bout en bout : chacun est entré dans un document d'archive, et veraPDF a dit lesquels un document d'archive a le droit d'énoncer comme intention de sortie.

La traduction française d'un document passe devant lui autant que l'anglaise. Traduire change le texte dessiné sur la page et les mots rangés dans la structure : le passage vaut donc d'être fait deux fois, et le formulaire d'archive français est déclaré conforme sur les mêmes 146 règles.

Ce que veraPDF couvre, et ce qui se contrôle autrement

La liste des saveurs est la liste de ce que veraPDF tranche : la famille d'archivage et les règles d'accessibilité. Cela couvre ce que réclament un service d'archives, un auditeur ou une administration, et le moteur est mesuré sur les deux.

La famille de l'imprimerie se tranche ailleurs, et de deux façons. Des règles lues sur son texte publié sont passées sur le fichier fini par le mécanisme de politique ci-dessus, et la même page est écrite une seconde fois par un tout autre programme, puis comparée point par point. La page sur les fichiers prêts pour la presse dit quelle partie le moteur écrit et ce sur quoi il insiste avant d'écrire quoi que ce soit.

Le jour venu, l'imprimeur passe son propre contrôle sur ce qu'il reçoit, comme la plupart le font. C'est une troisième paire d'yeux, et c'est elle qui tranche pour de bon.

Où aller ensuite

Ce qui rend un document lisible dans vingt ans, et par tout le monde Ce que réclame chaque annonce d'archivage, et qui fournit quoi Un formulaire d'archive que le vérificateur accepte Comment se contrôle plutôt un fichier prêt pour la presse Les vingt-six profils de couleur sur lesquels le vérificateur s'est prononcé

Voir les prix Voir les exemples

D'où viennent ces informations

Textes lus le 27 juillet 2026.

Qui fabrique le contrôleur gratuit, et qui le finance: veraPDF — About the project Open Preservation Foundation et PDF Association
Ce que nous en faisons : Qui publie le vérificateur, qui a payé pour le construire, et sous quelle licence il est donné. C'est toute la base de ce qu'on affirme : le verdict sur nos documents vient de l'extérieur.
Comment le contrôleur gratuit décide qu'un document passe: veraPDF documentation — Validation Open Preservation Foundation et PDF Association
Ce que nous en faisons : Comment le vérificateur arrive à un verdict, et sur quelles saveurs il y arrive. Les appels montrés sur cette page, et le nombre de règles que chaque profil rapporte, se lisent dessus et sur les profils eux-mêmes.
La norme du PDF fait pour être conservé, la partie qui emporte un fichier joint: ISO 19005-3:2012 — Document management — Electronic document file format for long-term preservation — Part 3: Use of ISO 32000-1 with support for embedded files (PDF/A-3) Organisation internationale de normalisation — octobre 2012
Ce que nous en faisons : La partie derrière le premier chiffre de cette page : la facture de trois pages y est déclarée conforme, au niveau b.
La norme du PDF fait pour être conservé, quatrième partie: ISO 19005-4:2020 — Document management — Electronic document file format for long-term preservation — Part 4: Use of ISO 32000-2 (PDF/A-4) Organisation internationale de normalisation — novembre 2020
Ce que nous en faisons : La partie derrière le second chiffre, et celle dont le profil énumère les espèces d'action qu'un document d'archive a le droit de porter. C'est de cette liste que la règle du moteur a été écrite.
La norme du PDF qu'un lecteur aveugle peut lire, première partie: ISO 14289-1:2014 — Document management applications — Electronic document file format enhancement for accessibility — Part 1: Use of ISO 32000-1 (PDF/UA-1) Organisation internationale de normalisation — décembre 2014
Ce que nous en faisons : Les règles d'accessibilité sur lesquelles le vérificateur tranche à côté de celles d'archivage. Le moteur les écrit, et c'est le vérificateur qui le dit.