Explications k-relevantes pour la programmation par contraintes.