(additionner)