trivialisation

not defined yet