description de la réduction à SAT