Listes by prooftheory