La question de la gestion des erreurs dans les classes se pose à tout professeur au quotidien. Par exemple, en calcul littéral, les autrices de cet article ont remarqué que beaucoup d’élèves ont des difficultés, en particulier avec la distributivité. Elles ont alors émis l’hypothèse que l’utilisation de processus de vérification pouvait être une perspective de remédiation de ces erreurs. Elles ont donc élaboré, en s’appuyant sur des résultats de recherche concernant les vérifications et l’algèbre, une typologie des processus de vérification qui pouvaient être mis en œuvre par des élèves de quatrième ou de seconde lors d’exercices portant sur la distributivité. Dans ce texte, elles présentent une expérimentation visant à développer l’utilisation de ces processus de vérification.