Définitionspréséquence