projet_log_2_modilisation_algo_logique_1er_ordre_pour_la_satisfiabilite