La liberté du formaliste

Le centre d'entraînement au formalisme et aux techniques de bases de lutte contre l'intuitionnisme fût inauguré en 1958. La partie théorique de l'enseignement était dispensée par des bourbakistes de la première heure, tandis que la partie pratique fût confiée à un ancien chasseur alpin renvoyé de l'armée pour meurtre. Le centre fût fermé après une visite surprise de la Ligue des Droits de l'Homme, les raisons de cette fermeture ne furent jamais éclaircies. Foutus droits-de-l'hommistes !