Chris Michaelides (1949-2017) : a personal remembrance