In memoriam Pierre-André Stucki (1936-2020)