The conjecture that Ecalle's proof can be made fully detailed

Ecalle's proof concerns the injection of accelero-summable transseries into germs of functions near infinity, as used to establish the quasianalyticity needed in the analysis of polycycle return maps. Conjecture. Ecalle's proof can be worked out to a fully detailed proof without additional difficulties. The paper notes that the proof has not yet been digested by the community, although related claims have been proved by others using Ecalle's methods; an accessible and detailed version of the proof of Dulac's theorem remains to be provided.