Est-ce que $HIFI peut être vide ? J'ai un peu peur.