changement de la version d'environment-modules sur Debian 7.6