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