(218 . 6)(218 . 7)
# IRCate until we get disconnected
def irc():
    global connected
    global time_last_conn
    
    # Connect to one among the specified servers, in given priority :
    while not connected: