Patrice Jeener, le graveur de mathématiques