Pierre, ou, de la gestion des types