(facts "it exits when we enter an empty line"
  (buy) => anything          ;; il n'est pas important ce que renvoie la fonction buy
  (provided 
    (read-line) => "")       ;; étant donnée que read-line renvoie chaîne vide 
                             ;; // fin du premier test 
  (buy) => anything
  (provided 
    (read-line) =streams=> ["b" ""]))  ;; read-line renvoie d'abord "b" puis chaîne vide