{"id":705,"date":"2026-10-02T22:33:08","date_gmt":"2026-10-02T22:33:08","guid":{"rendered":"https:\/\/hoge.gg\/fr\/certik-rapport-hack3d-t3-2026-audit-pertes\/"},"modified":"2026-10-02T22:33:08","modified_gmt":"2026-10-02T22:33:08","slug":"certik-rapport-hack3d-t3-2026-audit-pertes","status":"publish","type":"post","link":"https:\/\/hoge.gg\/fr\/certik-rapport-hack3d-t3-2026-audit-pertes\/","title":{"rendered":"CertiK : 1,26 milliard perdu au T3, l’audit regarde ailleurs"},"content":{"rendered":"

Le troisi\u00e8me trimestre 2026 restera comme l’un des pires de l’histoire r\u00e9cente de la crypto en mati\u00e8re de s\u00e9curit\u00e9. Dans son rapport Hack3d, la soci\u00e9t\u00e9 d’audit CertiK chiffre les pertes du trimestre \u00e0 1,26 milliard de dollars<\/a> (environ 1,12 milliard d’euros), r\u00e9partis sur 247 incidents, en hausse de 53,9 % par rapport aux 819,4 millions de dollars du deuxi\u00e8me trimestre. Le chiffre est spectaculaire. Le d\u00e9tail l’est davantage, et il raconte une histoire que les badges d’audit affich\u00e9s sur les sites de projets ne disent pas.<\/p>

Car en regardant d’o\u00f9 vient l’argent vol\u00e9, un constat s’impose : les plus grosses pertes ne proviennent presque jamais du type de faille qu’un audit de smart contract est cens\u00e9 rep\u00e9rer. Le piratage de l’exchange Bitget, l’exploit du Liquid Network, les vols li\u00e9s aux portefeuilles Coldcard : aucun de ces trois dossiers n’est une banale faille de r\u00e9entrance dans un contrat. Ce sont des d\u00e9faillances d’infrastructure, de gestion de cl\u00e9s et de fournisseurs tiers. CertiK, qui vend des audits tout en tenant la comptabilit\u00e9 des pertes du secteur, se retrouve ainsi au centre d’un paradoxe que cet article se propose d’examiner, chiffres \u00e0 l’appui.<\/p>

Un trimestre record, et un signal qui d\u00e9range<\/h2>

Les rapports Hack3d sont devenus une r\u00e9f\u00e9rence du march\u00e9. CertiK y agr\u00e8ge les incidents de s\u00e9curit\u00e9 \u00e0 partir de donn\u00e9es on-chain et de signalements publics, puis les classe par type et par montant. Pour le troisi\u00e8me trimestre, le tableau de bord de la firme recense donc 1,26 milliard de dollars de pertes sur 247 incidents<\/a>, contre 819,4 millions sur 219 incidents au deuxi\u00e8me trimestre. Sur l’ensemble de l’ann\u00e9e, le compteur s’\u00e9tablit \u00e0 environ 2,68 milliards de dollars (pr\u00e8s de 2,38 milliards d’euros) pour 656 incidents, d’apr\u00e8s le m\u00eame tableau de bord.<\/p>

Le paradoxe de ce trimestre tient en une phrase : le prix du Bitcoin a sign\u00e9 une performance honorable, mais la s\u00e9curit\u00e9, elle, a recul\u00e9. Cette dissociation entre la sant\u00e9 du march\u00e9 et la sant\u00e9 op\u00e9rationnelle de ses infrastructures n’est pas nouvelle. Elle avait d\u00e9j\u00e0 \u00e9t\u00e9 soulign\u00e9e au premier semestre, quand les analystes parlaient d’attaques moins nombreuses mais plus chirurgicales<\/a>, concentr\u00e9es sur quelques cibles \u00e0 tr\u00e8s forte valeur. Le troisi\u00e8me trimestre confirme la tendance et l’amplifie.<\/p>

Ce qui d\u00e9range, ce n’est donc pas seulement le montant. C’est la nature des pertes. Nous avions d\u00e9j\u00e0 explor\u00e9, dans notre couverture de la m\u00e9saventure de CertiK sur les march\u00e9s pr\u00e9dictifs<\/a>, l’id\u00e9e que le risque se d\u00e9place hors du code. Le rapport du troisi\u00e8me trimestre en fournit la d\u00e9monstration comptable la plus nette de l’ann\u00e9e. Les contrats intelligents, objets historiques de l’audit, ne sont plus le principal champ de bataille.<\/p>

Les quatre dossiers qui font le trimestre<\/h2>

Un trimestre \u00e0 1,26 milliard de dollars pourrait laisser imaginer une multitude de petits incendies. C’est l’inverse. Quatre incidents concentrent \u00e0 eux seuls pr\u00e8s des trois quarts des pertes. Autrement dit, la grande majorit\u00e9 de l’argent a disparu dans une poign\u00e9e d’\u00e9v\u00e9nements massifs, pendant que des centaines d’autres incidents se partageaient les miettes.<\/p>

Incident<\/th>Date<\/th>Montant (USD)<\/th>\u00c9quivalent (EUR)<\/th>Nature de la faille<\/th><\/tr><\/thead>
Bitget<\/td>24 septembre 2026<\/td>387,5 M$<\/td>~344 M\u20ac<\/td>Fournisseur tiers \/ hot wallet<\/td><\/tr>
Liquid Network<\/td>6 septembre 2026<\/td>318,7 M$<\/td>~283 M\u20ac<\/td>Validation de signature \/ consensus<\/td><\/tr>
Tectonic<\/td>30 ao\u00fbt 2026<\/td>120,4 M$<\/td>~107 M\u20ac<\/td>March\u00e9 de pr\u00eat sur Cronos<\/td><\/tr>
Coldcard (vagues)<\/td>depuis le 30 juillet 2026<\/td>112,7 M$<\/td>~100 M\u20ac<\/td>Entropie de firmware \/ cl\u00e9s<\/td><\/tr><\/tbody><\/table>
Les quatre plus gros incidents du T3 2026 selon CertiK. Conversions EUR indicatives au cours du 2 octobre 2026.<\/figcaption><\/figure>

Additionn\u00e9s, ces quatre dossiers repr\u00e9sentent environ 939 millions de dollars, soit pr\u00e8s de 75 % du total trimestriel. La concentration est le vrai message du rapport. Elle signifie qu’un investisseur ou une \u00e9quipe n’a pas besoin de se prot\u00e9ger contre mille menaces diffuses, mais contre un petit nombre de sc\u00e9narios \u00e0 tr\u00e8s fort impact, qui partagent un trait commun : ils ne rel\u00e8vent pas de la faille de contrat que l’on fait auditer avant un lancement.<\/p>

Septembre 2026, le pire mois de l’ann\u00e9e<\/h2>

Le mois de septembre \u00e0 lui seul a fait basculer le trimestre. CertiK y recense 766,45 millions de dollars de pertes<\/a> (environ 681 millions d’euros), ce qui en fait le mois le plus co\u00fbteux de l’ann\u00e9e, plus de 3,5 fois le total d’ao\u00fbt (215 millions de dollars). Sur ce montant, 270,6 millions ont \u00e9t\u00e9 gel\u00e9s ou restitu\u00e9s, ramenant la perte nette \u00e0 environ 495,8 millions de dollars. Les trackers divergent \u00e0 la marge : certains, comme PANews reprenant d’autres sources<\/a>, avancent un total l\u00e9g\u00e8rement sup\u00e9rieur, autour de 768 millions. L’ordre de grandeur, lui, ne fait pas d\u00e9bat.<\/p>

CertiK r\u00e9sume le mois d’une formule qui se passe de traduction : septembre a \u00e9t\u00e9, selon ses propres mots, \u00ab a stark reminder of how quickly the threat landscape can shift \u00bb, un rappel brutal de la vitesse \u00e0 laquelle le paysage des menaces peut basculer. Les exploits proprement dits ont repr\u00e9sent\u00e9 734 millions de dollars, soit pr\u00e8s de 96 % des pertes du mois, sur 58 incidents. Les escroqueries et autres fraudes, qui dominent souvent en nombre, ont pes\u00e9 beaucoup moins en valeur.<\/p>

Deux incidents suffisent \u00e0 expliquer l’essentiel : Bitget et Liquid Network cumulent \u00e0 eux seuls plus de 92 % des pertes confirm\u00e9es du mois. Quand deux \u00e9v\u00e9nements concentrent l’\u00e9crasante majorit\u00e9 des d\u00e9g\u00e2ts, la question n’est plus \u00ab le code \u00e9tait-il audit\u00e9 \u00bb. Elle devient \u00ab l’organisation attaqu\u00e9e avait-elle pr\u00e9vu que l’attaque viendrait d’ailleurs que du code \u00bb.<\/p>

La carte des pertes ne suit plus la carte des audits<\/h2>

Voici le tableau le plus important du rapport, et celui que l’on commente le moins. CertiK ne se contente pas de compter l’argent : la firme classe les pertes de septembre par type de vuln\u00e9rabilit\u00e9. Le r\u00e9sultat est \u00e9difiant pour qui pense encore qu’un audit de smart contract suffit \u00e0 s\u00e9curiser un projet.<\/p>

Type de vuln\u00e9rabilit\u00e9 (septembre 2026)<\/th>Pertes (USD)<\/th>\u00c9quivalent (EUR)<\/th>Exemple embl\u00e9matique<\/th><\/tr><\/thead>
Compromission de services tiers<\/td>387,5 M$<\/td>~344 M\u20ac<\/td>Bitget<\/td><\/tr>
Validation de signature ou de preuve d\u00e9faillante<\/td>324,7 M$<\/td>~289 M\u20ac<\/td>Liquid Network<\/td><\/tr>
Compromission de portefeuille<\/td>20,1 M$<\/td>~17,9 M\u20ac<\/td>Vol de cl\u00e9s priv\u00e9es<\/td><\/tr>
D\u00e9faut de contr\u00f4le des permissions<\/td>13,3 M$<\/td>~11,8 M\u20ac<\/td>Droits d’acc\u00e8s mal configur\u00e9s<\/td><\/tr>
R\u00e9entrance<\/td>2,2 M$<\/td>~2 M\u20ac<\/td>Bug de contrat classique<\/td><\/tr><\/tbody><\/table>
R\u00e9partition des pertes de septembre 2026 par type de faille, d’apr\u00e8s CertiK.<\/figcaption><\/figure>

Lisez la derni\u00e8re ligne. La r\u00e9entrance, cette faille de manuel qui a d\u00e9fini une g\u00e9n\u00e9ration d’audits depuis le piratage de The DAO en 2016, a co\u00fbt\u00e9 2,2 millions de dollars sur le mois. C’est la plus petite cat\u00e9gorie du classement. En face, la compromission de services tiers, qui n’a rien d’un bug de contrat, p\u00e8se 387,5 millions, soit cent soixante-dix fois plus. Le type de d\u00e9faillance que l’audit traque le mieux est devenu une erreur d’arrondi, pendant que les cat\u00e9gories o\u00f9 l’audit est le moins utile aspirent l’essentiel des fonds.<\/p>

Cette inversion n’est pas un accident de calendrier. C’est une tendance de fond, que les observateurs r\u00e9sument par une formule d\u00e9sormais classique : la m\u00eame attaque continue de fonctionner<\/a>. Les attaquants ont compris que le p\u00e9rim\u00e8tre le plus dur \u00e0 s\u00e9curiser n’est pas le contrat d\u00e9ploy\u00e9, mais tout ce qui l’entoure : cl\u00e9s, serveurs, fournisseurs, humains. C’est aussi le terrain de jeu des drainers de wallets, cette industrie du phishing en libre-service<\/a> qui prosp\u00e8re loin du code auditable.<\/p>

Bitget : le maillon faible \u00e9tait un fournisseur tiers<\/h2>

Le plus gros incident du trimestre illustre parfaitement la th\u00e8se. Le 24 septembre, Bitget a d\u00e9tect\u00e9 des transferts non autoris\u00e9s depuis certains de ses hot wallets et a suspendu les retraits. Selon le r\u00e9cit repris par CertiK et Cointelegraph<\/a>, les attaquants ont exploit\u00e9 une vuln\u00e9rabilit\u00e9 dans un produit de s\u00e9curit\u00e9 tiers pour obtenir des identifiants internes et forger des ordres de retrait. Montant parvenu aux adresses contr\u00f4l\u00e9es par les assaillants : 387,5 millions de dollars (environ 344 millions d’euros), soit \u00e0 lui seul 31 % des pertes du trimestre.<\/p>

Il faut mesurer ce que cela signifie. Aucun audit de smart contract de Bitget n’aurait pu emp\u00eacher cet incident, parce que la faille ne se trouvait pas dans un contrat de Bitget. Elle se trouvait dans un logiciel fourni par un prestataire, utilis\u00e9 pour s\u00e9curiser les op\u00e9rations. L’attaque rel\u00e8ve de la cha\u00eene d’approvisionnement logicielle et de la gestion des identifiants, deux domaines que la revue de code d’un protocole ne couvre pas. C’est la d\u00e9finition m\u00eame d’un angle mort.<\/p>

La r\u00e9ponse op\u00e9rationnelle a suivi la grammaire d\u00e9sormais habituelle des grands exchanges : gel, communication, puis mobilisation des r\u00e9serves pour couvrir les utilisateurs affect\u00e9s. Le march\u00e9, lui, a absorb\u00e9 le choc sans d\u00e9raper, comme souvent lors des grands incidents de plateforme. Mais la vraie le\u00e7on est ailleurs, dans l’architecture des cl\u00e9s. Un hot wallet dont les ordres peuvent \u00eatre forg\u00e9s depuis un composant tiers pose la m\u00eame question que le vol Bitget avait d\u00e9j\u00e0 pos\u00e9e : comment r\u00e9partir le pouvoir de signer. C’est tout l’enjeu du d\u00e9bat entre multisig et MPC pour partager la cl\u00e9<\/a>, qui d\u00e9cide, concr\u00e8tement, si une seule compromission suffit \u00e0 vider les coffres.<\/p>

Liquid, Tectonic, Coldcard : perdre gros sans faille de contrat classique<\/h2>

Les trois autres gros dossiers du trimestre confirment la r\u00e8gle, chacun \u00e0 sa mani\u00e8re. Le 6 septembre, le Liquid Network, la sidechain Bitcoin op\u00e9r\u00e9e par un consortium et associ\u00e9e \u00e0 Blockstream, a subi un exploit chiffr\u00e9 par CertiK autour de 318,7 millions de dollars. La firme le classe parmi les d\u00e9fauts de validation de signature ou de preuve, ce qui pointe vers le coeur du logiciel de consensus plut\u00f4t que vers un contrat applicatif. Plus de 270 millions ont ensuite \u00e9t\u00e9 gel\u00e9s ou restitu\u00e9s, limitant la perte nette. L’\u00e9pisode rappelle la fragilit\u00e9 particuli\u00e8re des infrastructures qui relient ou \u00e9tendent plusieurs cha\u00eenes, un terrain que nous avons cartographi\u00e9 en expliquant comment s\u00e9curiser le coffre plut\u00f4t que de cesser de le remplir<\/a>.<\/p>

Le 30 ao\u00fbt, Tectonic, le plus gros march\u00e9 de pr\u00eat de la blockchain Cronos, a \u00e9t\u00e9 vid\u00e9 de 120,4 millions de dollars en une transaction qui a drain\u00e9 neuf march\u00e9s. La particularit\u00e9 du dossier tient \u00e0 la r\u00e9ponse : les op\u00e9rateurs de Cronos ont tout bonnement arr\u00eat\u00e9 la cha\u00eene, puis l’ont rembobin\u00e9e, effa\u00e7ant environ 111 millions de dollars de l’exploit, selon l’enqu\u00eate de Bitquery<\/a>. Quelque 8,3 millions avaient d\u00e9j\u00e0 franchi le pont vers Ethereum et sont rest\u00e9s hors de port\u00e9e. Un rollback de cette ampleur ram\u00e8ne sur la table l’\u00e9ternelle question de la centralisation des blockchains applicatives, et par ricochet celle de la robustesse du cr\u00e9dit on-chain adoss\u00e9 \u00e0 ces march\u00e9s.<\/p>

Enfin, le cas Coldcard est peut-\u00eatre le plus instructif pour le grand public. Depuis le 30 juillet, une s\u00e9rie de vagues a drain\u00e9 environ 1 816 BTC r\u00e9partis sur plus de 5 200 adresses, pour une perte estim\u00e9e \u00e0 112,7 millions de dollars par CertiK, selon CoinDesk<\/a>. L’origine n’est pas un contrat, ni m\u00eame un serveur d’exchange : c’est un d\u00e9faut d’entropie dans un firmware ancien, qui a affaibli la g\u00e9n\u00e9ration de certaines graines et permis de reconstruire des cl\u00e9s. Au cours actuel du Bitcoin, autour de 75 000 euros l’unit\u00e9<\/a>, le montant d\u00e9rob\u00e9 en BTC d\u00e9passe m\u00eame la valeur historis\u00e9e par CertiK. Le point crucial : la faille se niche dans la fabrique de la cl\u00e9, un p\u00e9rim\u00e8tre que nul audit de smart contract ne touche.<\/p>

Qui est CertiK, et pourquoi son d\u00e9compte fait autorit\u00e9<\/h2>

Pour comprendre la port\u00e9e de ces chiffres, il faut comprendre qui les publie. CertiK a \u00e9t\u00e9 fond\u00e9e en 2018 par Ronghui Gu et Zhong Shao, deux universitaires. Gu, cofondateur et directeur g\u00e9n\u00e9ral, est professeur associ\u00e9 d’informatique \u00e0 l’universit\u00e9 Columbia<\/a> ; Shao enseigne \u00e0 Yale. La firme tire son nom et sa culture de la v\u00e9rification formelle, cette discipline qui cherche \u00e0 prouver math\u00e9matiquement qu’un programme se comporte comme pr\u00e9vu, h\u00e9rit\u00e9e des travaux acad\u00e9miques des deux fondateurs sur les noyaux de syst\u00e8mes d’exploitation certifi\u00e9s.<\/p>

Devenue l’une des plus grosses soci\u00e9t\u00e9s de s\u00e9curit\u00e9 blockchain, CertiK propose aujourd’hui un catalogue large : audits de smart contracts, v\u00e9rification formelle, tests d’intrusion, et surtout Skynet, sa plateforme de surveillance en temps r\u00e9el qui attribue des scores de s\u00e9curit\u00e9 aux projets, jetons et exchanges, et suit les incidents en continu. C’est ce dispositif de t\u00e9l\u00e9m\u00e9trie qui alimente les rapports Hack3d. La firme vend ses outils aux projets, aux plateformes, aux portefeuilles, aux institutions et aux investisseurs qui veulent jauger le risque on-chain, comme elle le d\u00e9taille sur son site<\/a>.<\/p>

Cette position explique l’autorit\u00e9 de ses chiffres, et en m\u00eame temps leur limite. CertiK voit le march\u00e9 mieux que presque personne parce qu’elle le surveille pour vivre. Mais ses cat\u00e9gories et ses m\u00e9thodes lui sont propres, et d’autres cabinets aboutissent \u00e0 des totaux l\u00e9g\u00e8rement diff\u00e9rents pour le m\u00eame mois. Un d\u00e9compte de s\u00e9curit\u00e9 n’est pas une donn\u00e9e de march\u00e9 audit\u00e9e : c’est une estimation, utile, s\u00e9rieuse, mais fa\u00e7onn\u00e9e par la m\u00e9thodologie de celui qui la produit.<\/p>

Le badge, le conflit d’int\u00e9r\u00eats et les projets audit\u00e9s qui sautent<\/h2>

Ici surgit la tension la plus inconfortable du secteur. Le mod\u00e8le \u00e9conomique de l’audit crypto repose, pour l’essentiel, sur le fait que le projet audit\u00e9 paie l’auditeur. L’analogie avec les agences de notation d’avant 2008 est facile, mais pas absurde : celui qui r\u00e8gle la facture a int\u00e9r\u00eat \u00e0 une bonne note, et celui qui la d\u00e9livre a int\u00e9r\u00eat \u00e0 conserver le client. Ce n’est pas une accusation, c’est une structure d’incitations, et elle vaut pour toute la profession, pas seulement pour CertiK.<\/p>

Le probl\u00e8me devient concret quand un projet audit\u00e9 est pirat\u00e9 peu apr\u00e8s, ou dispara\u00eet avec les fonds. CertiK a connu plusieurs \u00e9pisodes de ce genre. Decrypt<\/a> a par exemple rapport\u00e9 le cas de Swaprum, un protocole sur Arbitrum qui a tir\u00e9 sa r\u00e9v\u00e9rence avec environ 3 millions de dollars apr\u00e8s avoir \u00e9t\u00e9 audit\u00e9 par la firme. Des bases de donn\u00e9es sp\u00e9cialis\u00e9es comme celle de Rekt<\/a> recensent des dizaines d’exploits sur des protocoles pass\u00e9s entre les mains d’auditeurs. Et The Defiant<\/a> a recueilli le t\u00e9moignage d’anciens clients et d’un chercheur en s\u00e9curit\u00e9 sur Solana estimant que la firme faisait parfois le strict minimum lors de ses revues.<\/p>

La d\u00e9fense de l’audit est pourtant solide, \u00e0 condition de le prendre pour ce qu’il est. Un audit est une photographie du code \u00e0 un instant donn\u00e9, sur un p\u00e9rim\u00e8tre d\u00e9fini, avec un niveau d’effort n\u00e9goci\u00e9. Il r\u00e9duit le risque de certaines failles. Il ne certifie ni l’honn\u00eatet\u00e9 des fondateurs, ni la robustesse de leur gestion de cl\u00e9s, ni le comportement du code apr\u00e8s une mise \u00e0 jour. Le malentendu na\u00eet quand le badge, pens\u00e9 comme une r\u00e9duction de risque, est lu par le grand public comme une garantie. Un sceau n’est pas une assurance.<\/p>

L’\u00e9pisode Kraken : quand l’auditeur devient l’attaquant<\/h2>

Aucune histoire n’illustre mieux les zones grises que l’affaire Kraken de juin 2024. Des chercheurs de CertiK ont identifi\u00e9 une faille dans le syst\u00e8me de d\u00e9p\u00f4t de l’exchange : sous certaines conditions, il \u00e9tait possible d’initier un d\u00e9p\u00f4t et de recevoir des fonds cr\u00e9dit\u00e9s sans l’avoir r\u00e9ellement finalis\u00e9. Le directeur de la s\u00e9curit\u00e9 de Kraken, Nick Percoco, l’a d\u00e9crit comme un d\u00e9faut permettant \u00ab a malicious attacker, under the right circumstances, to initiate a deposit onto our platform and receive funds in their account without fully completing the deposit \u00bb, selon le r\u00e9cit d\u00e9taill\u00e9 par Rekt<\/a>.<\/p>

L\u00e0 o\u00f9 le dossier bascule, c’est sur l’ampleur et la suite. Plut\u00f4t que de s’en tenir \u00e0 une preuve de concept, les chercheurs ont, sur cinq jours, cr\u00e9\u00e9 pr\u00e8s de 3 millions de dollars de cr\u00e9dits, puis, quand Kraken a r\u00e9clam\u00e9 la restitution pr\u00e9vue par son programme de bug bounty, la discussion a tourn\u00e9 au bras de fer. Kraken a parl\u00e9 d’extorsion. CertiK a d\u00e9fendu une d\u00e9marche de recherche, arguant que \u00ab millions of dollars of crypto were minted out of air, and no real Kraken user’s assets were directly involved \u00bb. L’affaire s’est sold\u00e9e par la restitution des fonds \u00e0 Kraken<\/a>, mais la cicatrice est rest\u00e9e.<\/p>

Pourquoi rappeler cet \u00e9pisode dans un article sur le rapport du troisi\u00e8me trimestre ? Parce qu’il pose, en creux, la question de la confiance envers l’arbitre. La firme qui tient le d\u00e9compte des pertes du secteur est aussi celle qui a franchi, un temps, la fronti\u00e8re entre trouver une faille et l’exploiter. Cela ne disqualifie pas ses chiffres, mais cela invite \u00e0 les lire avec la distance que l’on accorde \u00e0 toute source qui est aussi un acteur du march\u00e9 qu’elle d\u00e9crit.<\/p>

Ce qu’un audit peut, et ne peut pas, faire<\/h2>

Il serait injuste de conclure que l’audit ne sert \u00e0 rien. Il sert, mais sur un p\u00e9rim\u00e8tre pr\u00e9cis qu’il faut nommer clairement. Dressons la carte.<\/p>

Ce qu’un audit fait plut\u00f4t bien : rep\u00e9rer les erreurs de logique dans le code soumis, les failles de r\u00e9entrance, les d\u00e9bordements, les contr\u00f4les d’acc\u00e8s d\u00e9faillants au sein des contrats, les \u00e9carts entre l’intention document\u00e9e et l’impl\u00e9mentation. Sur ce terrain, un bon auditeur apporte une vraie valeur, surtout coupl\u00e9 \u00e0 de la v\u00e9rification formelle sur les parties critiques.<\/p>