Jacquet--langlands correspondance for torsion (after F. Calegari and A. Venkatesh)