let exec req (set:Biblio.set) : Biblio.set = Ls.filter (fun e -> is_ok e req) set