Définitionsfraction de vide