let launch_sol () =
        Interface.zenity_info "Génération d'une instance ayant une solution : lancement !";
        let (m, n, c) = ((Interface.new_m_ic ()), (Interface.new_n_ic ()), (Interface.new_c_ic ())) in
        ecrit_instance_generee_sol (Resolution.generer_instance_solution ~c:c ~n:n ~m:m ()) ()