mise en place des outils génétiques pour SAT