Revert "Les types fonctionnent"

This reverts commit d36fcc1ac7bf7df43659f01370ada52528ba0c52.