Folco (./6) : mais j'ai du mal à faire la distinction entre un nom de structure et son type... Je ne comprends pas pourquoi les deux ne sont pas liés...
Pourquoi ne pas avoir imposé directement de définir un type quand on définit une structure, par exemple, plutôt que de nommer les structures ?