diff --git a/doc/en/installation/from_packages.rst b/doc/en/installation/from_packages.rst
index 033ead070d6d3093110ee1c13f327b7211fafb08..74f0383947a03f69d2f9ee33d972476471b9454d 100644
--- a/doc/en/installation/from_packages.rst
+++ b/doc/en/installation/from_packages.rst
@@ -137,6 +137,8 @@ SELinux should be disabled; for this, you have to modify the file "/etc/sysconfi
 
     SELINUX=disabled
 
+After saving the file, please reboot your operating system to apply the changes.
+
 PHP timezone
 ^^^^^^^^^^^^
 
diff --git a/doc/en/installation/from_sources.rst b/doc/en/installation/from_sources.rst
index 15193f8e7f3efc71a9d2a70f6a408632267d6714..41d666e74eb5f5cb68be69220b991a93cb250d78 100644
--- a/doc/en/installation/from_sources.rst
+++ b/doc/en/installation/from_sources.rst
@@ -683,6 +683,8 @@ SELinux should be disabled; for this, you have to modify the file "/etc/sysconfi
 
  SELINUX=disabled
 
+After saving the file, please reboot your operating system to apply the changes.
+
 PHP timezone should be set; go to /etc/php.d directory and create a file named php-timezone.ini who contain the following line :
 
  ::
diff --git a/doc/fr/installation/from_packages.rst b/doc/fr/installation/from_packages.rst
index b5d957fa6ed8469afdab0f11bfb6471ab8e0018a..b040baa70f422b27520ecb3864d2b00a4a9fecc7 100644
--- a/doc/fr/installation/from_packages.rst
+++ b/doc/fr/installation/from_packages.rst
@@ -136,6 +136,8 @@ SELinux doit être désactivé. Pour cela vous devez modifier le fichier "/etc/s
 
     SELINUX=disabled
 
+Après avoir sauvegardé le fichier, veuillez redémarrer votre système d'exploitation pour prendre en compte les changements.
+
 Fuseau horaire PHP
 ^^^^^^^^^^^^^^^^^^
 
diff --git a/doc/fr/installation/from_sources.rst b/doc/fr/installation/from_sources.rst
index 436e8f3df600c5590b88589340092c635ef2852c..0b2f9dd43fbb25dfda9a362f328a81e9b16fb492 100644
--- a/doc/fr/installation/from_sources.rst
+++ b/doc/fr/installation/from_sources.rst
@@ -701,6 +701,8 @@ SELinux doit être désactivé. Pour cela, vous devez modifier le fichier "/etc/
 
  SELINUX=disabled
 
+Après avoir sauvegardé le fichier, veuillez redémarrer votre système d'exploitation pour prendre en compte les changements.
+
 La timezone par défaut de PHP doit être configurée. Pour cela, allez dans le répertoire /etc/php.d et créez un fichier nommé php-timezone.ini contenant la ligne suivante :
 
  ::