Ajout de l'option clause learning.