théorème de Thalès (version algébrique)