"13.000 têtes nucléaires dans le monde", selon Fabien Roussel : d'où vient ce chiffre ?