Sabbah's conjecture on good formal structures for surface connections
Sabbah's conjecture. There is a finite sequence of point blow-ups