Apprendre des échecs peut permettre d'améliorer la résolution de problèmes modélisés en Programmation par Contraintes. Depuis les adaptations de l'algorithme CDCL aux solveurs CP, une clause expliquant un échec peut être construite dès lors que toutes les contraintes impliquées sont expliquées. L'explication d'une contrainte détermine tous les évènements responsables d'un filtrage de cette contrainte. Malheureusement, expliquer chaque contrainte est une tâche fastidieuse, souvent complexe pour les contraintes globales. Dans ce résumé, nous présentons une méthode basée sur la réécriture pour générer automatiquement des explications depuis un langage de décomposition simple et extensible.