https://www.citationsde.com/citation/philippe-metayer-1