Source: http://mathsece.free.fr/Cours/Memento_diagonalisation.pdf