(* * UPEM / L3 / Functional programming / Project: URM * Pacien TRAN-GIRARD, Adam NAILI *) val read_prgm : (string list -> 'a list) -> string -> 'a list