Les champs 'val' non initialisés dans les types de constructions implicites doivent être mutables et marqués avec l'attribut ...