Définitionstriviale