Text this: Jean Ladrière (1922-2008). In memoriam