I cannot read it's proof, since it is in french, but I'm not really looking for a proof (although one will probably help). I'm just looking for a high-level explanation of how the roots of quintics relate to hypergeometric functions, elliptic integrals, jacobi theta functions, modular forms, etc.
It doesn't seem intuitive at all, but you can plug in the numbers, and it works. How? Why?