In memoriam: Willy Vlamynck