Starting the code of FormalMultiPowerSeriesRing