Définitionsse raccourcir