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