Folding left and right over Peano numbers. (2019) - DANVY, OLIVIER