Carlos Cruz-Diez (1923-2019)