"Jean Nicod"@en .