Formalyse, S. Moreau, Lausanne - ranQ