* changement de la configuration Git * abandon des raccourcis vers RERO avec la commande `wd` * nouveau serveur SSH * ajour de phpstorm (de chez Jetbrains) dans la config i3wm