Jean-yves Lemercier presentations