Correcteurs, relecteurs à Diebling