https://123dok.net/document/y8g77x90-proof-multisummability-formal-solutions-linear-meromorphic-differential-equations.html