SAT : la satisfaction booléenne