# mission2.adb

    with Support ;
    with SudoGrille ;

    procedure Mission2 is

       -- Cette procedure est equivalente a celle demandee en partie 1,
       -- mais l'algorithme est different ici et ne correspond pas a ce qu'on vous demandait en partie 1.
       procedure Resous (Grille : in out SudoGrille.Une_Grille) is
          Continue : Boolean := True ;
       begin

          while Continue loop
             SudoGrille.Affiche(Grille) ;
             SudoGrille.Attend_Entree ;

             -- Ne modifiez pas la ligne suivante. Elle propage les contraintes comme dans la partie 1.
             -- Les deux arguments sont en mode in out.
             Support.Propage_Tout(Grille, Continue) ;
             ----------------------------------------------------

          end loop ;

          SudoGrille.Affiche(Grille) ;

       end Resous ;

       -- Declarer ici la variable Sudok

    begin

       -- Completer
       null ;

    end Mission2 ;