Mort de Jean-Michel Boris, ancien directeur de L'Olympia