Ces cercles sont-ils en faisceau : is_harmonic_circle_bundle est_faisceau_cercle

### 10.18.17 Ces cercles sont-ils en faisceau : is_harmonic_circle_bundle est_faisceau_cercle

est_faisceau_cercle a comme argument une liste de cercles.
est_faisceau_cercle renvoie :
1 si ces cercles forment un faisceau (c’est à dire si ils ont 2 à 2 le même axe radical),
2 si ces cercles sont concentriques,
3 si ces cercles sont confondus,
et 0 sinon.
On tape :

est_faisceau_cercle([cercle(0,i),cercle(4,i), cercle(0,point(1/2))])

On obtient :

1