let deux = (print_string "1+1" ; 1 + 1) in
  deux + deux ;;

1. liaison de deux à
   (print_string "1+1" ; 1 + 1)
   puis évaluation de deux + deux
2. substitution de deux à sa ``valeur'' soit :

   (print_string "1+1" ; 1 + 1) +
   (print_string "1+1" ; 1 + 1)
   

3. affichage de "1+1" calcul de 1 + 1 = 2
4. affichage de "1+1" calcul de 1 + 1 = 2
5. calcul de 2 + 2 = 4