Leon Vilaincour 1923–2016