Le 11.01.20 à 21:05, Florimond Berthoux a écrit : > What do you think ? avoid the word "type" in a key as it as no additional meaning. type can be everything (type of operator, difficulty, use, length, ...)