(x1 ou x2) et (x3 implique 1)
— (11/11/2013), http://www.normalesup.org/~simonet/teaching/caml-prepa/tp-caml-2001-10.pdf