Bonjour,
suggestion,
amicalement,
bubu
--- s4-host.wml 2022-11-19 17:45:34.369380975 +0100
+++ res4-host.wml 2022-11-19 17:47:07.764945665 +0100
@@ -20,7 +20,7 @@
une nouvelle solution et planifié de regrouper tous nos serveurs sous une
unique distribution Linux. Nous avons fait beaucoup de recherches et construit
de nombreux serveurs de tests, et nous sommes arrivés à la conclusion que Debian est
-finalement le meilleur choix pour nous. Nous migrons donc tous sous des
+finalement le meilleur choix pour nous. Nous avons donc tout migré sous des
serveurs basés sur Debian.
</p>