Formalyse, S. Moreau in Lausanne