ajout du choix de l'heuristique à la compilation