Définition de trivialement