inégalités de doob Synonym