Définitionsdivergentiflore