Origami/ Publications/ Utilisation de la Programmation par contrainte appliquée à la cryptanalyse différentielle/ Utilisation de la Programmation par contrainte appliquée à la cryptanalyse différentielle