Le empty-set-dollar n'est pas répertorié dans notre base.