21st juillet 2018

Irc Mise à jour des 3 serveurs IRC

Les 3 serveurs IRC vont être mis à jour :