théorème du rang constant