Bonjour
j'ai vu dans le tableau de Mr Ducros, qu'il y avait une tropicalisation intermédiaire.
C'est quoi une tropicalisation intermédiaire ?

Merci.