ensemble de scripts permettant l'installation simplifiée de jeux sous Linux
des curiosités Bash et surtout des raccourcis utiles