Gestion des pattern_variables dans typecore pour passer le typage (toujours à tester exhaustivement).