Do John Lanchester and Paul Valéry have the same nationality ?