Ian Hacking (1936-2023)