Claude E. Vautin (1926-2018)