$ETH peut-il être vide ?