A substitution theorem for the Borcherds-Weyl semigroup

Un résultat pour les suites de Bruhat est établi dans le cadre d'une algèbre de Borcherds-Kac-Moody. Il est nécessaire au modèle des chemins de Littelmann. Pour une algèbre de Kac-Moody, c'est une conséquence du lemme de substitution. Dans le cadre actuel, la démonstration est plus complexe.