Le théorème de Thalès

Explication :

Utilisation avec PCP :