sur twitter je rale parce que le client utilise un truc outdated et mal configuré pour sa gestion des sources.
Et j'en suis venu a cette conclusion: on ferais de la gestion de source sous dropbox qu'on aurais plus de features