FM 1-563 - BITS
... 1<=i,i',j,j'<=M && 1<=k,k'<=N. && ((s=1 && k=0) || s=2 || (s=3 && j=k=0)). && ((s'=1 && k'=0) || s'=2 || (s'=3 && j'=k'=0))};. NCon := { i,j,k,s]-> i',j',k',s'] ... 
Autres Cours:
