Doit-on dire un ou une tropicalisation ?