La forme d'expression { expr with . } ne peut être utilisée qu'avec des types enregistrement. Pour générer des types d'objets, ...