> proba > théorèmes  | JS