fix DENV-TIERS rule

Author: hg-anssi

src/en/devenv.md

@@ -133,8 +133,10 @@ Tier 3 targets are simply not officially supported.
 
 The tier distinction helps developers choose a target that matches their risk tolerance: Tier 1 for production‑grade workloads, Tier 2 for experimental or niche architectures where full support isn’t yet met.
 
-<div class="reco" id="TIERS_TOOLCHAINS" type="Rule" title="Exclusive use of tier 1 of `rustc` for safety-critical software">
+<div class="reco" id="DENV-TIERS" type="Rule" title="Exclusive use of tier 1 of `rustc` for safety-critical software">
+
 Rustc tier 1 targets and certified toolchains MUST be used for safety-critical systems.
+
 </div>
 
 A comprehensive list of supported targets is available in [@rustc-book].

src/fr/devenv.md

@@ -140,8 +140,10 @@ Les cibles de niveau 3 ne sont tout simplement pas prises en charge officielle
 La distinction entre les différents niveaux aide les développeurs à choisir une cible adaptée à leur tolérance au risque : le niveau 1 pour des applications de production, le niveau 2 pour des architectures plus expérimentales ou de niche dont le support complet n’est pas encore assuré.
 
 
-<div class="reco" id="TIERS_TOOLCHAINS" type="Rule" title="Utilisation exclusive du tier 1 de `rustc` pour les logiciels de sureté critiques">
-Les cibles Rustc de niveau 1 et les chaînes de compilation certifiées DOIVENT être utilisées pour les systèmes de sureté critiques.
+<div class="reco" id="DENV-TIERS" type="Rule" title="Utilisation exclusive du tier 1 de `rustc` pour les logiciels de sûreté critiques">
+
+Les cibles Rustc de niveau 1 et les chaînes de compilation certifiées DOIVENT être utilisées pour les systèmes de sûreté critiques.
+
 </div>