privat/nit — pull request #15 by Morriar (2012-10-02 16:15:00+00:00)
Title: Inf7741

L'interpréteur modifié pour le typage incrementiel