Définitionsréadditionner