(English) Add git branch name to bash prompt

Désolé, cet article est seulement disponible en Anglais.