procédé diagonal de Cantor