Disclaimer
The code demonstrated in this talk is not yet well-polished.
I would be happy to hear your suggestions / remarks!
Nicolas Mascot p-adic computation of Galois representations