Le théorème d'Al Kashi.