cours diagonalisation