Logique combinatoire, Jean Lagasse · Super Livre