Hi, It's probably already known, but IRC seems down. Side question: shouldn't we move to a wider irc server (like freenode) ? Wouldn't require katipo help to deal with problems. -- Paul POULAIN http://www.biblibre.com Expert en Logiciels Libres pour l'info-doc Tel : (33) 4 91 81 35 08