Définition Trivialiser

Définition de trivialiser