Définitionstire-lopin