séquence 4-1: égalité et simplification