Procedure tri et fusion !!!

Type Tab = Tableau[1..N] de entier ;
Procédure Fusion(var T : Tab ; Debut,Fin : entier);
var T1,T2 : Tab ;
i,j,k,milieu, : entier ;
Début
milieu=(debut + fin) div 2;
Pour i de debut à milieu faire
    T1[ i - Debut +1] = T[i] ;  // pourquoi  'i-Debut+1' et non pas seulement 'i' ?
Fin Pour;
Pour j de milieu+1 à fin  faire
    T2[j - milieu]= T[j] ;
Fin Pour;
i =1 ; j =1 ;
Pour k de Debut à Fin faire
     Si (i>milieu-debut+1) Alors // pourquoi 'milieu-debut+1' et non pas seulement 'milieu'' ?
          T[k]= T2[j] ;
           j =j+1 ;
    Sinon
           Si (j>fin-milieu) Alors // pourquoi 'fin-milieu' et non pas seulement 'milieu'' ?
              T[k] =T1[i] ;
               i= i+1 ;
           Sinon
                 Si (T1[i]<T2[j]) Alors
                     T[k]= T1[i] ;
                      i= i + 1;
                 Sinon
                       T[k] =T2[j] ;
                         j=j+1 ;
                  Fin Si;
           Fin Si;
   Fin Si;
Fin Pour;
Fin;

Procédure Tri(var T : Tab ; Debut, Fin : entier);
var Milieu : entier ;
Début
Si (Debut<Fin) Alors
   Milieu (Debut + Fin) div 2; // pourquoi '(debut+fin)div2 ' et non pas ' fin div 2 ' ?
   Tri(T, Debut, Milieu) ;
   Tri(T, Milieu + 1, Fin) ;
    Fusion(T, Debut, Fin)
Fin Si;
Fin;