Dans la premisse de la regle catchOui (p. 11),
il faut lire "n" au lieu de "n_1".