Filmskaperen Claude Lanzmann er død, 92 år gammel