let rec lus_par_exp = function
   
  | Const _ | Name _ -> []
   
  | Bin (_, e1, e2) -> lus_par_exp e1 @ lus_par_exp e2
   
  | Mem e -> lus_par_exp e
   
  | Temp t -> [ t ]
   
  | Call (_, _) -> assert false (* expression canonique *);;