Victor Stinner aka haypo <victor DOT stinner AT haypocalc DOT com>