Je voudrais définir quelques sous-ensembles auxquels j'ajoute également quelques contraintes et quelques dieinstructions pour certains messages d'erreur utiles. Je ne veux pas les définir en haut du module qui utilise ces sous-ensembles et je veux plutôt les placer dans un autre module tout en...