tropicalisation

not defined yet