Définitionsgénéralisatrice