Définitionsêtre bien endenté