diff --git a/HowtoJenkins.md b/HowtoJenkins.md
index 1c584d7b..893b3b8e 100644
--- a/HowtoJenkins.md
+++ b/HowtoJenkins.md
@@ -17,7 +17,7 @@ Jenkins n’est pas disponible dans les dépôts Debian, il faut donc ajouter le
 
 ~~~
 wget -q -O - https://pkg.jenkins.io/debian/jenkins.io.key | sudo apt-key add -
-sudo sh -c 'echo deb http://pkg.jenkins-ci.org/debian-stable binary/ > /etc/apt/sources.list.d/jenkins.list'
+sudo sh -c 'echo deb https://pkg.jenkins.io/debian binary/ > /etc/apt/sources.list.d/jenkins.list'
 ~~~
 
 Ensuite on procède à l’installation: