Est ce que l'on peut simplifier 6-x