Définitionsextérieure