Décès du général Pierre-Marie Gallois, le théoricien de la dissuasion nucléaire française