Définitionssymbolisé