Théorème du cercle circonscrit à un triangle rectangle