$PONKE peut-il être vide ? ? ?