cela est rigoureusement démontré