diff --git a/glossaire.rst b/glossaire.rst index 8265e619567885155efbf888d828434fd5cf3f1b..79ff92a47e57b7ed77bbf8cc528bd18a1c23512c 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é +