Source: https://mathsece.free.fr/Cours/Cours_Diagonalisation.pdf