Définitionsjugement virtuel