Définitionsemployés