Enigmes résolues par SMT