Tropical Semirings Jean-Eric Pin