Mort de Benjamin Ferencz, dernier procureur du procès de Nuremberg