let p = Block [
            Declaration "x";
            Affectation ("x", Ent 0);
            While (Inf (Var "x", Ent 10),
                   Block [
                       Droite;
                       Haut;
                       Affectation ("x", Plus (Var "x", Ent 1))
                     ]);
            Affectation ("x", Ent 0);
            While (Inf (Var "x", Ent 10),
                   Block [
                       Haut;
                       Gauche;
                       Affectation ("x", Plus (Var "x", Ent 1))
                     ]);
            Affectation ("x", Ent 0);
            While (Inf (Var "x", Ent 10),
                   Block [
                       Gauche;
                       Bas;
                       Affectation ("x", Plus (Var "x", Ent 1))
                     ]);
            Affectation ("x", Ent 0);
            While (Inf (Var "x", Ent 10),
                   Block [
                       Bas;
                       Droite;
                       Affectation ("x", Plus (Var "x", Ent 1))
                     ]);
          ]
    in
    run p;;