fonction MaxTabListe (↓ T : TTabEnt ; ↓ N : Entier ; ↓ L : TListeEnt)
                    : entier
// Restitue la plus grande des valeurs présentes dans le tableau T
// à N éléments et dans la liste L, qui contiennent tous les deux
// des entiers par hypothèse.
// On suppose que l'une au moins des deux structures est non vide.
début
   si (N > 0)
      Max ← T [1]
      // on suppose que l’indiçage des tableaux commence à un
      // REMARQUER QUE Max EST UNE VARIABLE LOCALE !!!
   sinon
      // Remarquons que L ne peut pas être vide, à ce stade donc Tete (L) est sans danger
      Max ← Tete (L) ;
      L ← Reste (L) ;
   fsi

   pour i de 2 à N faire
      si (T [i] > Max) alors
         Max ← T [i]
      fsi
   fpour

   tant que non EstVide (L) faire
      si (Tete (L) > Max) alors
      Max ← Tete (L)
      Fsi
      L ← Reste (L)
   ftq
   retourner Max // ou bien : MaxTabListe ← Max
fin