Fonction de résolution (avec fusion de clauses) compile