Le $BADGER peut-il être vide ?