Essayé et adopté : quand on commence à avoir un certain nombre de dépôts git, c'est très très très pratique !
