From 49a76e6aa77788b873697f32bc6831ba5cff8444 Mon Sep 17 00:00:00 2001
From: Olivier Bonaventure <Olivier.Bonaventure@uclouvain.be>
Date: Wed, 29 Jan 2020 13:33:01 +0100
Subject: [PATCH] Ajout spelling dans glossaire

---
 glossaire.rst | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/glossaire.rst b/glossaire.rst
index 8265e61..79ff92a 100644
--- a/glossaire.rst
+++ b/glossaire.rst
@@ -558,3 +558,11 @@ Glossaire
 
     stratégie de remplace de pages
        Définit quelle page doit être préférentiellement retirée de la mémoire RAM et placée sur le dispositif de stockage.
+
+
+.. spelling::
+
+   benchmark
+   big
+   threadé
+
-- 
GitLab