PosiMath — Laurent Lequièvre, Jean-Jacques Lemesre