Fix : Use SSL link when needed
Merge pull request #113 from IsabelleCoccinet/patch-2

Fix : Use SSL link when needed