Définitionsdivulgué