Bonjour,
c'est quoi déjà une lci ? Il me semble que c'est une application de ExE dans E, n'est-ce pas?

Dans ce cas, il faut que tu montres que x*y est encore un élément de [a;b].

D'accord, j'ai essayé de faire comme tu as dit, otto, et je comprends mieux !
Donc, ce que j'ai proposé n'est pas nécessaire ?

Ca revient au même si jamais tu le fais bien pour tout x.

Peut-être que la question qui va suivre est bête, mais pourquoi étudie-t-on et non ? À moins que cela ne revienne au même...