1.
voir le
Manuel de R
éf
érence du Logic Solver