Dès qu'un modèle est un peu riche, on a tout intérêt à le présenter par sous-ensembles.