Paul Redon var den flitigaste embetsmannen i finansministeriet.