Définitionsaddenda