tiens: je viens de remarquer que c'est faux!
en fait dans ta preuve, tu dis:
"AD=BE et AF=BD"
aucune des égalités n'est vrai.
ADF et BDE ne sont pas isométrique.
Les bons triangle à regarder sont ceux que j'ai fait
On pourrait s'en sortir avec ADF et BEF mais c'est plus dur.