Doit-on dire un ou une diagonalisation ?