Calcul formel et parallélisme, Gilles Villard · Super Livre