Changement mineur pour faire taire le TypeChecker