Définitionstensionner