Définition Tropicalisation

Définition de tropicalisation