Ajout push simmple dans .gitconfig
Merge branch 'master' of github.com:sebbbastien/dotfiles
Correction coloration du prompt et ajout syntaxe interfaces