### 9.19.15 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`