Définitionstriviaux