Ce que l'on sait du logiciel "le plus dangereux au monde", qui vient d'être neutralisé