Luc Hoffmann (1923-2016)