Philippe Aigrain (1949-2021): An Appreciation