diff --git a/app/scodoc/sco_config.py b/app/scodoc/sco_config.py
index 6d06a8be..dd69b971 100644
--- a/app/scodoc/sco_config.py
+++ b/app/scodoc/sco_config.py
@@ -48,12 +48,6 @@ CONFIG.LOGO_HEADER_HEIGHT = 28
 #   scodoc_name: le nom du logiciel (ScoDoc actuellement, voir sco_version.py)
 CONFIG.DEFAULT_PDF_FOOTER_TEMPLATE = "Edité par %(scodoc_name)s le %(day)s/%(month)s/%(year)s à %(hour)sh%(minute)s sur %(server_url)s"
 
-#
-#   ------------- Calcul bonus modules optionnels (sport, culture...) -------------
-#
-
-CONFIG.compute_bonus = bonus_sport.bonus_iutv
-# Mettre "bonus_demo" pour logguer des informations utiles au developpement...
 
 #   ------------- Capitalisation des UEs -------------
 # Deux écoles:
diff --git a/sco_version.py b/sco_version.py
index 1ad26613..5fa98d28 100644
--- a/sco_version.py
+++ b/sco_version.py
@@ -1,7 +1,7 @@
 # -*- mode: python -*-
 # -*- coding: utf-8 -*-
 
-SCOVERSION = "9.0.7"
+SCOVERSION = "9.0.8"
 
 SCONAME = "ScoDoc"
 
diff --git a/tools/migrate_from_scodoc7.sh b/tools/migrate_from_scodoc7.sh
index 451bc2aa..43e914e4 100755
--- a/tools/migrate_from_scodoc7.sh
+++ b/tools/migrate_from_scodoc7.sh
@@ -133,7 +133,7 @@ migrate_local_files() {
     # donc:
     if [ ! -e "$SCODOC_VAR_DIR"/scodoc_local.py ]
     then
-        
+        echo "note: pas de fichier scodoc_local.py (ok)."
         # if [ "$INPLACE" == 1 ]
         # then
         #     scodoc_config_filename = "${SCODOC7_HOME}"/Products/ScoDoc/config/scodoc_config.py
@@ -215,6 +215,18 @@ fi
 # Précaution a priori inutile (import-scodoc7-dept efface les caches)
 systemctl restart redis
 
+# --- THE END
+echo 
+echo "Migration terminée."
+echo "Vérifiez le fichier de log /opt/scodoc-data/log/migration79.log"
+echo "et:"
+echo "- prévenez les utilisateurs dont le login aurait changé."
+echo "- dans ScodoC, en tant qu'admin, vérifier la configuration et"
+echo "   notamment la fonction de calcul du bonus sport, dont le réglage" 
+echo "   est différent en ScoDoc 9 (plus de fichier de configuration python,"
+echo "   passer par le formulaire de configuration.)"
+echo
+
 
 # Commande listant les nom des departement en DB:
 # Liste des bases de données de département:
diff --git a/tools/scodoc_config.py b/tools/scodoc_config.py
index ec6bb545..9c33c9f0 100644
--- a/tools/scodoc_config.py
+++ b/tools/scodoc_config.py
@@ -70,14 +70,6 @@ CONFIG.LOGO_HEADER_HEIGHT = 28  # taille verticale dans le document en millimetr
 CONFIG.DEFAULT_PDF_FOOTER_TEMPLATE = "Edité par %(scodoc_name)s le %(day)s/%(month)s/%(year)s à %(hour)sh%(minute)s sur %(server_url)s"
 
 
-#
-#   ------------- Calcul bonus modules optionnels (sport, culture...) -------------
-#
-from bonus_sport import *
-
-CONFIG.compute_bonus = bonus_iutv
-# Mettre "bonus_demo" pour logguer des informations utiles au developpement...
-
 #
 #   ------------- Capitalisation des UEs -------------
 # Deux écoles:
diff --git a/tools/scodoc_config_tmpl.py b/tools/scodoc_config_tmpl.py
index 178ec82f..84c5e0d6 100644
--- a/tools/scodoc_config_tmpl.py
+++ b/tools/scodoc_config_tmpl.py
@@ -58,13 +58,6 @@ CONFIG = CFG()
 # CONFIG.DEFAULT_PDF_FOOTER_TEMPLATE = "Edité par %(scodoc_name)s le %(day)s/%(month)s/%(year)s à %(hour)sh%(minute)s sur %(server_url)s"
 
 
-#
-#   ------------- Calcul bonus modules optionnels (sport, culture...) -------------
-#
-
-# CONFIG.compute_bonus = bonus_sport.bonus_iutv
-# Mettre "bonus_demo" pour logguer des informations utiles au developpement...
-
 #
 #   ------------- Capitalisation des UEs -------------
 # Deux écoles: