Définitionsadditionnelle