Stein, Jean, 1934-2017