La formalisation des langues, Max Silberztein · Super Livre