fix regressions

Author: corwintines

public/content/translations/fr/contributing/translation-program/translators-guide/index.md

@@ -116,7 +116,7 @@ La meilleure façon de gérer les liens est de les copier directement à partir
 
 ![Exemple de lien.png](./example-of-link.png)
 
-Les liens apparaissent également dans le texte source sous la forme de balises (c'est-à-dire \<0> \</0>). Si vous survolez la balise, l'éditeur affichera son véritable contenu. Parfois, ces balises désigneront des liens.
+Les liens apparaissent également dans le texte source sous la forme de balises (c'est-à-dire `<0> </0>`). Si vous survolez la balise, l'éditeur affichera son véritable contenu. Parfois, ces balises désigneront des liens.
 
 Il est très important de copier les liens depuis le texte source et de ne pas modifier l'ordre des balises.
 
@@ -154,7 +154,7 @@ nonce - _Texte non traduisible_
 
 Le texte source contient aussi des balises raccourcies. Elles contiennent uniquement des chiffres et leur fonction n'est donc pas directement identifiable. Vous pouvez survoler ces balises pour voir exactement ce à quoi elles servent.
 
-Dans l'exemple ci-dessous, vous pouvez voir que survoler la balise \<0> nous permet de savoir qu'elle désigne en fait une balise `<code>` et qu'elle contient un extrait de code. Le contenu de ces balises ne doit donc pas être traduit.
+Dans l'exemple ci-dessous, vous pouvez voir que survoler la balise `<0>` nous permet de savoir qu'elle désigne en fait une balise `<code>` et qu'elle contient un extrait de code. Le contenu de ces balises ne doit donc pas être traduit.
 
 ![Exemple de balises ambiguës.png](./example-of-ambiguous-tags.png)
 

public/content/translations/fr/developers/docs/nodes-and-clients/node-architecture/index.md

@@ -18,7 +18,7 @@ Pour que cette structure à deux clients fonctionne, les clients de consensus do
 
 ## Que fait le client d'exécution ? {#execution-client}
 
-Le client d’exécution est responsable de la validation, du traitement et de la propagation des transactions, ainsi que de la gestion de l’état et du support de la Machine Virtuelle Ethereum ([EVM\](/developers/docs/evm/)). Il n'est **pas** responsable de la construction de blocs, de leur propagation ou de la gestion de la logique de consensus. Ces responsabilités relèvent du client de consensus.
+Le client d’exécution est responsable de la validation, du traitement et de la propagation des transactions, ainsi que de la gestion de l’état et du support de la Machine Virtuelle Ethereum ([EVM](/developers/docs/evm/)). Il n'est **pas** responsable de la construction de blocs, de leur propagation ou de la gestion de la logique de consensus. Ces responsabilités relèvent du client de consensus.
 
 Le client d'exécution crée des charges utiles d'exécution - la liste des transactions, la trie d'état mise à jour, et d'autres données liées à l'exécution. Les clients de consensus incluent la charge utile d'exécution dans chaque bloc. Le client d'exécution est également responsable de réexécuter les transactions dans les nouveaux blocs pour s'assurer qu'elles sont valides. L'exécution des transactions est effectuée sur l'ordinateur intégré du client d'exécution, connu sous le nom de [Machine Virtuelle Ethereum (EVM)](/developers/docs/evm).
 

public/content/translations/fr/developers/docs/smart-contracts/formal-verification/index.md

@@ -70,7 +70,7 @@ Les spécifications formelles de bas niveau peuvent être données sous forme de
 
 ### Propriétés de style Hoare {#hoare-style-properties}
 
-[La logique Hoare](https://en.wikipedia.org/wiki/Hoare_logic) fournit un ensemble de règles formelles pour raisonner sur la correction des programmes, y compris les contrats intelligents. Une propriété de style Hoare est représentée par un triple Hoare {_P_}_c_{_Q_}, où _c_ est un programme et _P_ et _Q_ sont des prédicats sur l'état de _c_ (c'est-à-dire le programme), formellement décrits comme des _prérequis_ et des _conditions ulérieures_, respectivement.
+[La logique Hoare](https://en.wikipedia.org/wiki/Hoare_logic) fournit un ensemble de règles formelles pour raisonner sur la correction des programmes, y compris les contrats intelligents. Une propriété de style Hoare est représentée par un triple Hoare `{P}c{Q}`, où `c` est un programme et `P` et `Q` sont des prédicats sur l'état de `c` (c'est-à-dire le programme), formellement décrits comme des _prérequis_ et des _conditions ulérieures_, respectivement.
 
 Un prérequis est un prédicat décrivant les conditions requises pour l'exécution correcte d'une fonction ; les utilisateurs qui font appel au contrat doivent satisfaire à cette exigence. Une condition ultérieure est un prédicat décrivant la condition qu'une fonction établit si elle est correctement exécutée ; les utilisateurs peuvent s'attendre à ce que cette condition soit vraie après avoir appelé la fonction. Un _invariant_ en logique Hoare est un prédicat qui est préservé par l'exécution d'une fonction (c'est-à-dire qu'il ne change pas).