Contrôler un fichier Excel
Comparer les totaux, signes, unités, périodes et formules accessibles. Identifier les plages lues et les cellules qui restent hors périmètre.
H-VISA · Excel, reporting et agents Finance
Contrôlez le livrable. Retrouvez les preuves. Gardez l’arbitrage.
Avant de transmettre un Excel ou une analyse produite par une IA, confrontez le résultat aux chiffres, aux sources et aux règles du dossier. H-VISA, la couche de contrôle de HOLCO, vise une revue traçable : ce qui a été vérifié, ce qui reste à examiner et ce que les données ne permettent pas de conclure. Chaque constat porte son verdict, PASS, REVIEW ou FAIL, avec la preuve qui le fonde.
Rédaction HOLCO · mis à jour le 11 septembre 2026. Ouverture pilote : la couverture dépend des accès et des éléments transmis. Aucun score de fiabilité globale ni certification comptable n’est revendiqué.
Du fichier au rapport de contrôle
Trois usages, une même exigence de preuve.
Contrôle du livrable
Un total juste. Deux réserves.
Périmètre Synthèse!C16:C18Référentiel Règle de démonstration
Σ
8 400 + 4 000 = 12 400 €Recalculé| Vérification | Constat | Statut |
|---|---|---|
| Total du tableauSynthèse!C18 | 12 400 €Écart calculé : 0 € | Vérifié |
| Période de rattachementDates non transmises | À documenter | À confirmer |
| Pièce justificativeHors instantané | Non fournie | Non vérifiée |
Pourquoi le résultat reste à revoir
La concordance arithmétique ne prouve ni la période, ni la réalité de l’opération. Le contrôle porte sur les valeurs transmises, sans vérification des pièces ou des formules du fichier source.
SynthèseContrôle HOLCOSources
Vérifier le travail d’un agent IA
Distinguer une affirmation citée d’un résultat recalculé. Rechercher les sources absentes, les hypothèses implicites et les conclusions trop affirmatives.
Préparer la supervision
Présenter au responsable les écarts, les justificatifs manquants et les décisions attendues, sans transformer un contrôle technique réussi en approbation métier.
Le dossier de preuve à conserver
Fichier et version, entité et période, plages transmises, identifiant du run, règles datées, calculs rejouables, références de pièces et limites. L’empreinte d’un instantané identifie ce qui a été reçu ; elle ne prouve ni son exhaustivité ni sa justesse.
Préparer l’onglet Contrôle dans Excel → · Comprendre la piste de contrôle →
Exemple pédagogique entièrement fictif
Un total juste peut cacher un contrôle incomplet.
Dans un fichier d’immobilisations fictif, les cellules B2 à B4 contiennent 4 000 €, 3 600 € et 4 800 €. Le total de 12 400 € est correct. Cela ne valide pas les durées d’amortissement ni les dates de mise en service.
| Contrôle | Constat et preuve | Conclusion |
|---|---|---|
| Total des coûts | 4 000 + 3 600 + 4 800 = 12 400 € ; source B2:B4. | Calcul vérifié |
| Durée d’usage | D3 indique 60 mois ; la règle interne fictive prévoit 36 mois pour la catégorie déclarée. | À examiner : nature réelle à confirmer |
| Début d’amortissement | Date et justificatif de mise en service non transmis. | Non vérifiable sur cet export |
Le responsable demande la fiche d’actif et confirme la catégorie applicable avant de qualifier l’écart. La correction éventuelle donne lieu à un nouveau contrôle, sans effacer le résultat précédent. Aucun traitement comptable n’est déduit de ce seul exemple.
La grille du DAF
Six questions avant de déléguer un workflow.
La question métier vient d’abord. Le terme technique sert ensuite à construire un contrôle reproductible.
Le chiffre est-il juste ?
Numeric correctness
Recalculer totaux, formules, signes, unités, mappings et périodes avec des assertions déterministes.
Provient-il de la bonne donnée ?
Source & provenance
Vérifier le dossier, la version, la fraîcheur, la période et la pièce effectivement utilisée.
L’agent a-t-il appliqué notre règle ?
Rule compliance
Comparer la sortie aux seuils, conventions de reporting, règles groupe et exceptions validées.
A-t-il exécuté tous les contrôles ?
Completeness
Mesurer les contrôles prévus, réussis, échoués et non exécutés. Tester aussi les silences.
Son explication est-elle exploitable ?
Analysis quality
Évaluer la clarté et la reconnaissance de l’incertitude après les vérifications factuelles.
Que se passe-t-il après une modification ?
Non-régression
Rejouer les cas de référence après un changement de modèle, de prompt, de source ou de règle.
Méthode de contrôle
Déterministe quand c’est possible. IA quand c’est nécessaire. Humain quand c’est engageant.
01
Le code vérifie
Montants, dates, périodes, formules, rapprochements, présence des sources et contrôles obligatoires.
02
L’IA évalue
Pertinence d’une explication, cohérence narrative et reconnaissance de l’incertitude, sur une grille bornée.
03
Le professionnel tranche
Règles contradictoires, source manquante, forte matérialité, cas nouveau ou décision engageante.
Approfondir
Du risque Finance au terme technique.
Pourquoi évaluer l’IA en finance
Alertes, silences et faux négatifs.
Lire le guide →Evals et golden set Finance
Construire des cas de référence validés.
Lire le guide →Traces, spans et analyse d’erreur
Reconstituer ce que l’agent a réellement fait.
Lire le guide →Groundedness et hallucinations
Relier chaque affirmation à sa preuve.
Lire le guide →Quand utiliser un juge LLM
Réserver l’IA aux critères subjectifs.
Lire le guide →Validation par l’expert-comptable
Transformer les arbitrages en tests rejouables.
Lire le guide →Méthode documentée, performance à mesurer.
Un rapport de contrôle porte sur un fichier et un périmètre. Un golden set mesure le comportement du système sur des cas dont les attendus sont validés. Les traces expliquent une exécution ; elles ne certifient pas sa justesse. Nos exemples publics sont pédagogiques, sans données de dossier client.
- HOLCO Lab : socle actuel, évaluations et limites
- DeepEval : définition des évaluations et des cas de test
- Langfuse : évaluations et observation des applications LLM
Sources techniques consultées le 11 septembre 2026. Elles documentent des méthodes, pas une validation indépendante de HOLCO.
Voir le produit et cadrer un pilote de contrôle →Questions fréquentes des directions financières
Que contient un rapport H-VISA ?
Sur le périmètre pilote, le rapport distingue les vérifications effectuées, les points à examiner et les limites. Il doit être lu avec l’identifiant du contrôle, la version du fichier, les règles appliquées et les sources effectivement transmises. Un instantané partiel ne permet pas de conclure sur tout le classeur.
Le contrôle remplace-t-il une révision comptable ou un audit légal ?
Non. Il aide à préparer la revue d’un livrable. Il ne certifie pas les comptes, ne porte pas d’opinion d’audit et ne remplace pas l’arbitrage du professionnel responsable.
Comment un DAF peut-il vérifier la fiabilité d’un agent IA ?
En séparant les contrôles déterministes des évaluations subjectives, puis en comparant les sorties à des cas de référence validés. Le dispositif doit tester les chiffres, les sources, les règles, les contrôles omis et les cas qui exigent une validation humaine.
Un score global de fiabilité suffit-il ?
Non. Une note moyenne peut masquer une erreur grave ou un contrôle non exécuté. Des états explicites comme PASS, REVIEW et FAIL doivent rester reliés au critère, à la preuve et au périmètre évalué.
Qu’est-ce qu’un golden set en finance ?
C’est un jeu versionné de cas financiers dont les entrées, les attendus, les sources et les règles ont été validés. Il sert à rejouer les évaluations et à détecter les régressions connues.
Faut-il une deuxième IA pour contrôler la première ?
Pas pour vérifier un total, une période ou une formule. Ces propriétés doivent être testées par du code. Un juge LLM peut intervenir sur une qualité résiduelle, comme la clarté d’une explication, après calibration humaine.
Quels workflows Finance faut-il contrôler en premier ?
Commencez par un workflow historique, fréquent et vérifiable : reporting mensuel, réel contre budget, rolling forecast, contrôle de formules ou analyse d’écarts. Quelques périodes validées permettent de construire les premiers cas.