Définitionstrifurqué