Définitionspréélémentaire