function Gueri (V : in TV_Virus) return Boolean is
--{} => {résultat= la pièce rouge est prête à sortir (coin haut gauche)}
    begin
        return V(1,A) = "rouge" and V(2,B) = "rouge";
    end Gueri;

procedure Deplacement(V : in out TV_Virus; Coul: in T_Piece; Dir : in T_Direction) is
--{la pièce de couleur Coul peut être déplacée dans la direction Dir}
--=> {V a été mis à jour suite au déplacement }
begin
    for i in T_lig'range loop
        for j in T_col'range loop
            if V(i,j) = coul then
                V(i,j) := vide;
                if dir = bg then
                    V(i+1,T_col'pred(j)) := coul;
                elsif dir = bd then
                    V(i+1,T_col'succ(j)) := coul;
                elsif dir = hg then
                    V(i-1,T_col'pred(j)) := coul;
                else
                    V(i-1,T_col'succ(j)) := coul;
                end if;
            end if;
        end loop;
    end loop;
end Deplacement;