Résolution parallèle de SAT : mieux collaborer pour aller plus loin