https://www.citationsde.com/citation/alain-krivine-1