Convergence spectrale forte : fin de la preuve de Friedman, introduction à la méthode polynomiale. Travaux de Haagerup–Thorbjørnsen pour les matrices gaussiennes