Is there a complete and rigorous, yet concise, definition of what an analyzable function is, along with the related notion of accelero-summation, both in the sense of Ecalle? All of the definitions I can find in the literature I find to be somewhat impenetrable. I'm familiar with transseries, so it is fine to use them in the requested definitions. Maybe some good examples and non-examples would help.