Les types fonctionnent