fonctionnement correct pour Debian avec ajout du dépot dans le script bootstrap.sh (toujours environment-modules)