Simplification de vecteurs AI+IB+IB+ID