The accepted norm for dictionaries (juridical or not) has not changed the mission of their creators much since the eighteenth century. Then Dr Johnson thus defined a lexicographer: “a writer of dictionaries; a harmless drudge, that busies himself in tracing…