SMT : la satisfaction modulo théories