Text this: François Gros (1925–2022)