Fouille de motifs basée sur la programmation par contraintes: Application à la localisation de fautes dans les programmes informatiques