Disparition de Pierre Thévenet, éditeur et historien du cinéma