diff --git a/docs/CalculNotes.md b/docs/CalculNotes.md
index 90d1ef99..2feea246 100644
--- a/docs/CalculNotes.md
+++ b/docs/CalculNotes.md
@@ -139,7 +139,8 @@ moyenne générale du semestre déjà obtenue par l'étudiant.*
 L'administrateur peut changer la fonction de calcul du bonus sport via le
 formulaire de configuration accessible (aux admin) depuis la page d'accueil. 
 Si vous souhaitez implémenter une nouvelle règle, il faut la coder en Python
-et modifier un fichier de configuration (non documenté, contacter la liste 
-scodoc-devel ou regardez les fichiers `/opt/scodoc-data/config/scodoc_local.py` et
- `bonus_sport.py`.)
+et la placer dans `/opt:scodoc/app/scodoc/bonus_sport.py`. Après l'avoir testée
+et validée, l'envoyer sur la liste scodoc-devel, *sans quoi elle sera effacée
+dès la prochaine mise à jour* (qui peut arriver à tout moment sur votre serveur
+en production !).
 
diff --git a/docs/GuideAdminSys.md b/docs/GuideAdminSys.md
index e704630d..ba9cab3e 100644
--- a/docs/GuideAdminSys.md
+++ b/docs/GuideAdminSys.md
@@ -8,6 +8,9 @@ Utilisez un **serveur virtuel** ou un container Docker si vous n'avez pas de mac
 
  * Installation de ScoDoc: [GuideInstallDebian11](GuideInstallDebian11.md)
  
+ * Migration d'un serveur ScoDoc 7 vers la nouvelle version Scodoc 9: [MigrationScoDoc7a9](MigrationScoDoc7a9.md)
+
+
 (Les personnes ayant besoin d'installer l'ancienne version ScoDoc 7 peuvent se
 référer à [GuideInstallDebianDix](GuideInstallDebianDix.md) ou
 [GuideInstallDebianNeuf](GuideInstallDebianNeuf.md).)
diff --git a/docs/GuideInstallDebian11.md b/docs/GuideInstallDebian11.md
index cd6ea9ce..29d3b745 100644
--- a/docs/GuideInstallDebian11.md
+++ b/docs/GuideInstallDebian11.md
@@ -1,11 +1,8 @@
 
 #  Installation de ScoDoc 9 sur Debian 11 (Bullseye) 
-Ce document décrit la procédure d'installation et de configuration de ScoDoc 9
-(**version en test, pas encore prête pour la production**).
-Cette procédure doit être effectué sur la machine serveur avec un accès administrateur (root).
-
-*Documentation en cours de relecture, voir aussi* https://scodoc.org/git/viennet/ScoDoc
-
+Ce document décrit la procédure d'installation et de configuration de ScoDoc 9.
+Cette procédure doit être effectué sur la machine serveur avec un accès
+administrateur (root). 
 
 ScoDoc est livré avec des scripts d'installation qui configurer presque
 automatiquement votre serveur (serveur web, base de données, etc): vous pouvez
@@ -19,6 +16,9 @@ facilement en cinq minutes, sur une machine normale ou un serveur
 virtualisé. Il est **vivement déconseillé** de tenter l'installation sur une
 autre version. 
 
+Si vous mettez à jour un serveur existant (ScoDoc 7 sur Debian 10), voir [la page
+sur les migrations](https://scodoc.org/MigrationScoDoc7a9/#2-upgrade-debian).
+
 Merci de signaler tout problème (emmanuel.viennet@gmail.com 
 ou [scodoc-devel](https://listes.univ-paris13.fr/mailman/listinfo/scodoc-devel) ).
 
@@ -116,16 +116,28 @@ Checklist minimale de votre système Linux Debian:
 #### Note sur l'install dans un container LXC
 Si vous installez dans un container LXC, attention: la config par défaut de
 Redis (un gestionnaire de cache utilisé par ScoDoc) n'est pas compatible, en
-raison d'un problème de système de fichier en lecture seule. Ilnstakler redis
+raison d'un problème de système de fichier en lecture seule. Installer redis
 avant ScoDoc, comme suit:
 
-  apt-get install redis
+    apt-get install redis
 
-Puis commentez la ligne `ReadOnlyDirectories=/` du fichier de config
-`/etc/systemd/system/redis.service`. Ensuite 
+Puis créer un dossier /etc/systemd/system/redis.service.d contenant le fichier
+`redis.conf` avec les lignes suivantes :
 
-  systemctl daemon-reload
-  systemctl start redis
+    [Service]
+    PrivateTmp=no
+    ProtectSystem=false
+    PrivateDevices=false
+    ProtectHome=no
+    ProtectControlGroups=no
+    ProtectKernelTunables=no
+    ProtectKernelModules=no
+    ReadWritePaths=
+
+Ensuite 
+
+    systemctl daemon-reload
+    systemctl start redis
 
 ... et poursuivez l'installation comme ci-dessous.
 
diff --git a/docs/papers/Adhesion-2020-Association-ScoDoc.docx b/docs/papers/Adhesion-2020-Association-ScoDoc.docx
deleted file mode 100644
index 5db4e6e2..00000000
Binary files a/docs/papers/Adhesion-2020-Association-ScoDoc.docx and /dev/null differ
diff --git a/docs/papers/Adhesion-2020-Association-ScoDoc.pdf b/docs/papers/Adhesion-2020-Association-ScoDoc.pdf
deleted file mode 100644
index 2d9ce54e..00000000
Binary files a/docs/papers/Adhesion-2020-Association-ScoDoc.pdf and /dev/null differ