Moved links.

src/étude/Ada.typ

@@ -157,10 +157,6 @@
   ],
 
   pile: [
-    #let gnatstack = link(
-      "https://www.adacore.com/gnatpro/toolsuite/gnatstack",
-      "GNATstack"
-    )
 
     Les outils analysant l'exécutable peuvent le faire tout autant pour les
     programmes #Ada. Pour les outils ciblant spécifiquement #Ada, il y
@@ -369,24 +365,6 @@
 
   tests: [
 
-    #let aunit = link("https://github.com/AdaCore/aunit", "AUnit")
-    #let adatest95 = link(
-      "https://www.qa-systems.fr/tools/adatest-95/",
-      "Ada Test 95"
-    )
-    #let avhen = link("http://ahven.stronglytyped.org/", "Avhen")
-    #let ldra = link("https://ldra.com/products/ldra-tool-suite/", "LDRA")
-    #let vectorcastAda = link(
-      "https://www.vector.com/int/en/products/products-a-z/software/vectorcast/vectorcast-ada/",
-      "VectorCAST/Ada"
-    )
-
-
-    #let rtrt = link(
-      "https://www.ibm.com/products/rational-test-realtime",
-      "Rational Test RealTime"
-    )
-
     Les différents outils de tests recensés pour #Ada sont inddiqués dans
     la @ada-test.
 
@@ -401,7 +379,7 @@
         [*#vectorcastAda*],      [UC],      [++],           [✓],           [✓],
         [*#rtrt*],               [UIC],     [],             [],           [],
       ),
-      caption: [Comparaison des outils de tests pour le langage C],
+      caption: [Comparaison des outils de tests pour le langage #Ada],
     ) <ada-test>
 
     #aunit et #avhen sont des implémentations xUnit pour #Ada. Les fonctionnalités sont
@@ -446,24 +424,6 @@
     Parmi tous les compilateurs Ada, nous listons uniquement ceux qui semblent
     maintenus et de qualité industrielle.
 
-    #let ptcdobjada = link(
-      "https://www.ptc.com/en/products/developer-tools/objectada",
-      "PTC ObjectAda"
-    )
-    #let ptcapexada = link(
-      "https://www.ptc.com/en/products/developer-tools/apexada",
-      "PTC ApexAda"
-    )
-    #let gnatpro = link("https://www.adacore.com/gnatpro", "GNAT Pro")
-    #let gnatllvm = link("https://github.com/AdaCore/gnat-llvm", "GNAT LLVM")
-    #let gaoc = link(
-      "https://www.ghs.com/products/ada_optimizing_compilers.html",
-      "GreenHills Ada Optimizing Compiler")
-
-    #let janusada = link(
-      "http://www.rrsoftware.com/html/blog/ja-312-rel.html",
-      "Janus/Ada"
-    )
 
     #figure(
 

src/étude/C++.typ

@@ -207,11 +207,6 @@ va en partie dépendre de l'utilisation d'outils tiers.
 
   tests: [
 
-#let boost_test = link(
-  "https://www.boost.org/doc/libs/1_85_0/libs/test/doc/html/index.html",
-  [Boost Test Library]
-)
-#let catch2 = link("https://github.com/catchorg/Catch2", "Catch2")
 
 Certains des outils cités pour le C fonctionnent également pour le C++. C'est
 le cas pour #cantata ou #parasoft par exemple. D'autres outils ou bibliothèques
@@ -223,13 +218,6 @@ les rapports de test ou les possibilités de _fuzzing_. Le _mocking_ est
 également disponible via une extension. #catch2 propose sensiblement la même
 chose que #boost_test.
 
-#let gtest = link("https://github.com/google/googletest", "Google Test")
-#let google = link("https://about.google", "Google")
-
-#let safetynet = link(
-  "https://bitbucket.org/rajinder_yadav/safetynet/src/master/",
-  "Safetynet"
-)
 
 #gtest est un cadre logiciel proposé par #google pour le test unitaire. Il est
 très complet et utilisé pour de gros projets. Il permet de découvrir les
@@ -246,11 +234,6 @@ Ruby. L'outil semble cependant moins mature et complet que #gtest.
 conjointement avec d'autres outils de tests unitaires pour simuler des
 comportements de fonctions ou de classes à la manière de #opmock.
 
-#let testwell_ctc = link(
-  "https://www.verifysoft.com/fr_ctcpp.html",
-  "Testwell CTC++"
-)
-
 #testwell_ctc est un outil commercial qui, comme #cantata, #parasoft ou
 #vectorcast que nous
 avons déjà présenté dans la partie C, couvre différents types de tests

src/étude/links.typ

@@ -208,4 +208,68 @@
 
 
 #let windbg = link("https://docs.microsoft.com/en-us/windows-hardware/drivers/debugger/debugger-download-tools")[WinDBG]
-#let rr = link("https://rr-project.org/")[rr]
+#let rr = link("https://rr-project.org/")[rr]
+
+#let boost_test = link(
+  "https://www.boost.org/doc/libs/1_85_0/libs/test/doc/html/index.html",
+  [Boost Test Library]
+)
+#let catch2 = link("https://github.com/catchorg/Catch2", "Catch2")
+
+#let gtest = link("https://github.com/google/googletest", "Google Test")
+#let google = link("https://about.google", "Google")
+
+#let safetynet = link(
+  "https://bitbucket.org/rajinder_yadav/safetynet/src/master/",
+  "Safetynet"
+)
+
+
+#let testwell_ctc = link(
+  "https://www.verifysoft.com/fr_ctcpp.html",
+  "Testwell CTC++"
+)
+
+
+#let aunit = link("https://github.com/AdaCore/aunit", "AUnit")
+#let adatest95 = link(
+  "https://www.qa-systems.fr/tools/adatest-95/",
+  "Ada Test 95"
+)
+#let avhen = link("http://ahven.stronglytyped.org/", "Avhen")
+#let ldra = link("https://ldra.com/products/ldra-tool-suite/", "LDRA")
+#let vectorcastAda = link(
+  "https://www.vector.com/int/en/products/products-a-z/software/vectorcast/vectorcast-ada/",
+  "VectorCAST/Ada"
+)
+
+
+#let rtrt = link(
+  "https://www.ibm.com/products/rational-test-realtime",
+  "Rational Test RealTime"
+)
+
+
+#let ptcdobjada = link(
+  "https://www.ptc.com/en/products/developer-tools/objectada",
+  "PTC ObjectAda"
+)
+#let ptcapexada = link(
+  "https://www.ptc.com/en/products/developer-tools/apexada",
+  "PTC ApexAda"
+)
+#let gnatpro = link("https://www.adacore.com/gnatpro", "GNAT Pro")
+#let gnatllvm = link("https://github.com/AdaCore/gnat-llvm", "GNAT LLVM")
+#let gaoc = link(
+  "https://www.ghs.com/products/ada_optimizing_compilers.html",
+  "GreenHills Ada Optimizing Compiler")
+
+#let janusada = link(
+  "http://www.rrsoftware.com/html/blog/ja-312-rel.html",
+  "Janus/Ada"
+)
+
+#let gnatstack = link(
+  "https://www.adacore.com/gnatpro/toolsuite/gnatstack",
+  "GNATstack"
+)