Les derniers changements à intégrer dans le repository

Une fois cette pull request il faut se mettre dans votre copie dans la branche gh-pages : 

`git checkout gh-pages`
`git pull`

Puis faire un rechercher / remplacer de http://daformat.github.io/cryptris par http://inriamecsci.github.io/cryptris/ pour que le partage sur les réseaux sociaux fonctionne comme attendu. (cf README.md)

Une fois cette modification effectuée on peut commiter : 

`git commit -am "Modificaiton de l'adresse url de base du jeu pour la mise en prod InriaMecsci"`

Et enfin pusher le tout sur le repository github qui se chargera du reste : 

`git push`