PCF typé fini + jeux de test adaptés ave typage