Eli Bendersky <eliben at gmail.com> added the comment: Éric, good idea - I'll do it. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue9264> _______________________________________