An Introduction to Jean-Yves Lacoste