Factoriser avec SAT

Version imprimable