Définitionsligne creuse