Logiques, catégories et machines, Yves Lafont · Super Livre