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