$ETH radical maintenant peut être vide, stable pour trouver un vide obligatoire