1) triangle inscrit dans un cercle qui a pour diamètre un côté de ce triangle donc c'est un triangle rectangle
2) tangente de l'angle AFB
3)puisque tu as AFB et OF tu fais cosinus de OFE qui est aussi AFB
cosOFE =EF/OF
et ensuite tu remplace pour trouver EF
