How to facet a gemstone: from potential modularity to the proof of Serre's modularity conjecture | Publicación