Corriveau, H. Du formalisme ou des jeux formels. 68, 939?940 (0BC).