let affiche_debug l =
  prerr_endline "% final assignment list:";
  List.iter affiche_equation l