/proba/théorèmes/