Le sujet de mon cours de vendredi : tous les systèmes de types ne se valent pas.

PS Le titre est un hommage à lambada.lix.polytechnique.fr, brave imprimante.